#
# KEHOME/kb/tabrasa.def
# Nov/4/2005 Mar/21/2007
# Jul/24/2008 Preposition - temporary fix for syntax error
#at view = mkr;
#set hfocus = existent;
# context
#========#
attribute isg
separable,inseparable,
exlusive,inclusive,
order,
genus,species,
primitive,unit,
subject,predicate,object,
verb,
classified,
purpose;
context has
space,
time,
view;
action isg
perceive,identify,
measure,classify;
#ANIMAL,PLANT do live=[birth,death] done;
ANIMAL do live, move done;
PLANT do live, no move done;
OBJECT do no live done;
genus concept has
comment = "number of species + units > 0";
primitive concept has
comment = "number of units > 0";
invalid concept has
comment = "number of units < 2";
#============#
# Definition #
#============#======================#
# concept is genus with differentia #
#===================================#
action iss characteristic with inseparable, single entity,space,time;
ANIMAL iss entity with live,move;
array iss ingroup with inclusive,index = name;
assignment iss sentence with purpose = {do modify od ke method done;},
subject = ke;
attribute iss characteristic with inseparable,single existent,no space,no time;
characteristic iss existent with identity of entity;
classify iss action with product = genus;
command iss sentence with purpose = {do process od knit done;},
subject = [ke,sh];
concept iss group with mental integration;
genus concept iss concept with "ssize + usize > 0";
primitive concept iss concept with "usize > 0";
invalid concept iss concept with "usize < 2";
conjunction iss word with statement relation; # <<== syntactic
context iss proposition list with space,time,view;
definition iss statement with genus,differentia;
differentia isapart definition;
directory iss file with file list;
entity iss existent with "primary thing that exists";
enum iss exgroup with exclusive,order = none; # "either","or"
event isu action with instance;
family iss ingroup of person with inclusive,husband,wife;
file iss group with inclusive,input/output knowledge;
group iss OBJECT of mental integration with members;
exgroup iss group with exclusive mental integration;
ingroup iss group with inclusive mental integration;
hierarchy iss LATTICE with unique genus;
identify iss action with specify characteristic;
index iss attribute of group with select member;
infon isu relation with instance;
interaction iss characteristic with inseparable, multiple entity,space,time;
ke isu OBJECT with purpose="interpret sentence";
knit iss knowledge with view;
knowledge := man do identify od existent done;
LATTICE iss ingroup with order = "isa";
lattice iss LATTICE with ambiguous genus;
list iss ingroup with inclusive,index = integer; # next
live iss action with event=[birth, death];
man iss ANIMAL with rational;
meaning iss attribute with purpose=define MKR translation;
measure iss action with purpose = quantify characteristic;
member isu unit of group;
move iss action with purpose= change space;
multiset iss ingroup with inclusive,no order, repetition;
newproposition iss proposition with format=unknown;
number iss concept with integrate unit;
OBJECT iss entity with no live;
part iss characteristic with separable,single existent,no space,no time;
PLANT iss entity with live,no move;
Preposition iss word with existent-attribute relation;
product iss attribute with sentence output;
production iss sentence with meaning="product:1 := sentence:2";
proposition iss existent with identification of relations between existents;
purpose iss attribute with man-made;
quantifier iss word with specify number;
question iss sentence with purpose = {do search od knit done;};
relation iss characteristic with inseparable,multiple existent,no space,no time;
requisite iss ingroup with inclusive,order = none; # "all","and"
role iss attribute with purpose="define relation meaning";
#role-name iss word with purpose="define relation meaning";
sentence iss proposition with
#subject = [ke,sh],
purpose= {do record,search,process od knit done;};
separator iss symbol with purpose = partition sentence;
sequence iss ingroup with inclusive,index = time; # "next"
set iss ingroup with inclusive,no index; # "and","or","not"
space iss attribute of proposition list with event location; # where
statement iss sentence with purpose = {do record od knit done;};
symbol iss OBJECT with referent;
time iss attribute of proposition list with event sequence; # when
unithierarchy iss LATTICE with order = "isu", unique genus;
unknown iss existent with no genus;
#####value isu attribute with instance;
verb iss word with subject,object;
view iss attribute of proposition list with viewpoint;
word iss symbol with referent=concept, visual-auditory;
bag is multiset;
CONJUNCTION is requisite;
DISJUNCTION is enumeration;
#