<HTML>
<XMP>
# KEHOME/kb/tabrasa.def
# Apr/19/2003

#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, not move done;
OBJECT do* not 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;
assignment	iss sentence	with purpose = {do modify od ke method done;},
				     subject = ke;
attribute	iss characteristic with inseparable,single existent,not space,not 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
differentia	iss characteristic with essential;
directory	iss file	with file list;
context		iss proposition	with space,time,view;
entity		iss existent	with "primary thing that exists";
enumeration	iss group	with exclusive,order = none; # "either","or"
event		isu action	with instance;
family		iss group	of person with inclusive,husband,wife;
file		iss group	with inclusive,input/output knowledge;
group		iss OBJECT	with mental integration;
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;
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;
LATTICE		iss group	with order = "isa";
lattice		iss LATTICE	with ambiguous genus;
list		iss group	with inclusive,order = space;  # 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;
move		iss action	with purpose= change space;
multiset	iss group	with inclusive,order = none, repetition;
newproposition	iss proposition	with format=unknown;
number		iss concept	with integrate unit;
OBJECT		iss entity	with not live;
part		iss characteristic with separable,single entity,not space,not time;
PLANT		iss entity	with live,not 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,not space,not time;
requisite	iss group	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 group	with inclusive,order = time;  # "next"
Set		iss group	with inclusive,order = none;  # "and","or","not"
space		iss attribute	with event location;	# where
statement	iss sentence	with purpose = {do record od knit done;};
symbol		iss OBJECT	with referent;
time		iss attribute	with event sequence;	# when
unithierarchy	iss LATTICE	with order = "isu", unique genus;
unknown		iss existent	with not classified;
#####value	isu attribute	with instance;
VERB		iss word	with subject,object;
view		iss attribute	with previous knowledge;	# context
word		iss symbol	with referent=concept, visual-auditory;

bag is multiset;
CONJUNCTION is requisite; 
DISJUNCTION is enumeration; 

ktype iss attribute;
#================================#
# kaction is action with ktype=k #
#================================#
believe	iss action with ktype=believe;
desire	iss action with ktype=desire;
intend	iss action with ktype=intend;
know	iss action with ktype=know;
say	iss action with ktype=say;

ask	iss action with ktype=say;
want	iss action with ktype=desire;
</XMP>
</HTML>
