/* Data file containing type hierarchy and conformity information for
   conceptual graphs */

/* sub-type information */

(sub

	(act event)
	(adult person)
	(age characteristic)
	(angel animate) (angel mobile_entity) (angel physobj)
	(animal animate) (animal mobile_entity) (animal physobj)
	(animate entity)
	(arrive act)
	(attribute t)
	(believe state)
	(big magnitude)
/*
	(bottom age)
	(bottom angel)
	(bottom arrive)
	(bottom believe)
	(bottom big)
	(bottom boy)
	(bottom cat)
	(bottom chair)
	(bottom city)
	(bottom colour)
	(bottom comfortable)
	(bottom command)
	(bottom contain)
	(bottom cut)
	(bottom difficult)
	(bottom dimension)
	(bottom dog)
	(bottom employer)
	(bottom father)
	(bottom girl)
	(bottom hardware)
	(bottom husband)
	(bottom interior)
	(bottom kitchen)
	(bottom know)
	(bottom lay)
	(bottom live)
	(bottom love)
	(bottom make)
	(bottom man)
	(bottom number)
	(bottom object)
	(bottom order)
	(bottom mother)
	(bottom parent)
	(bottom passenger)
	(bottom receive)
	(bottom robot)
	(bottom set)
	(bottom ship)
	(bottom teach)
	(bottom teacher)
	(bottom telephone)
	(bottom think)
	(bottom thought)
	(bottom time_period)
	(bottom tool)
	(bottom travel)
	(bottom use)
	(bottom warm)
	(bottom wear)
	(bottom wear_out)
	(bottom wife)
	(bottom woman)
	(bottom work)
*/
	(boy male) (boy child)
	(cat animal) (cat pet)
	(chair furniture)
	(characteristic attribute)
	(child person)
	(city place) (city society)
	(command message)
	(colour attribute)
	(comfortable feel)
	(communicate give)
	(contain state)
	(cut act)
	(difficult manner)
	(dimension attribute)
	(dog animal) (dog pet)
	(employer person)
	(entity t)
	(event situation)
	(father adult)
	(feel attribute)
	(female person)
	(furniture stationary_entity)
	(girl female) (girl child)
	(give act)
	(go act)
	(hardware stuff)
	(husband adult)
	(information t)
	(interior entity)
	(kitchen room)
	(know state)
	(lay act)
	(live act)
	(love state)
	(machine t)
	(magnitude t)
	(make act)
	(male person)
	(man male) (man adult)
	(manner t)
	(measure t)
	(message information)
	(mobile_entity entity)
	(mother adult)
	(number information)
	(object entity)
	(order communicate)
	(parent person)
	(passenger person)
	(person animal)
	(pet animal)
	(physobj entity)
	(place stationary_entity)
	(process t)
	(proposition information)
	(receive act)
	(robot animate) (robot machine) (robot mobile_entity)
	(room t)
	(ship mobile_entity)
	(set act)
	(situation t)
	(society t)
	(state situation)
	(stationary_entity entity)
	(stuff t)
	(teach act)
	(teacher person)
	(telephone physobj)
	(think act)
	(thought proposition)
	(time_period measure)
	(tool entity)
	(travel go)
	(use act)
	(warm state)
	(wife adult)
	(woman female) (woman adult)
	(work act)
	(wear act)
	(wear_out process)
)

/* conformity information */

(conf

	(Tom man)
	(Jim man)
	(Bill man)
	(Tim boy)
	(Jill girl)
	(Sue girl)

	(Jip dog)
	(John passenger)
	(comfortable feel)

)

/* right-arity information; (right_arity mother 1) corresponds to the
   semantic information that a person only has one mother */

(right_arity

	(mother 1)
	(father 1)
	(wife 1)
	(husband 1)
	(employer 1)
	(lives 1)
	(price 1)

)

/* left-arity information; (left_arity wife 1) means that a person can
   only be wife to one man */

(left_arity

	(wife 1)
	(husband 1)
	(owns 1)

)