No TPTP formula. May not be expressible in strict first order.	Merge.kif 13491-13491	The number 1 argument of impairment is a subclass of physiologic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2000-2000	The number 1 argument of InfectionFn is a subclass of microorganism
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 400-400	The number 1 argument of InjuryCausedFn is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2599-2599	The number 1 argument of juice of fn is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18393-18393	The number 1 argument of Making fn is a subclass of making
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6321-6321	The number 1 argument of measuring a process is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8662-8662	The number 2 argument of minute is a subclass of hour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8593-8593	The number 1 argument of month is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8594-8594	The number 2 argument of month is a subclass of year
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1521-1521	The number 1 argument of network communication function is a subclass of computer network
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5249-5249	The number 1 argument of organic object fn is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14661-14661	The number 1 argument of periodical issue is a subclass of periodical
No TPTP formula. May not be expressible in strict first order.	Food.kif 3352-3352	The number 1 argument of plant fn is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Music.kif 827-827	The number 1 argument of playing instrument fn is a subclass of device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1359-1359	The number 1 argument of pressing key fn is a subclass of computer keyboard key
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8991-8991	The number 2 argument of quarter fn is a subclass of year
No TPTP formula. May not be expressible in strict first order.	Media.kif 186-186	The number 1 argument of receiving an object fn is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8466-8466	The number 1 argument of recurrent time interval is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8467-8467	The number 2 argument of recurrent time interval is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8689-8689	The number 2 argument of second is a subclass of minute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13511-13511	The number 1 argument of sense impairment is a subclass of perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13531-13531	The number 1 argument of no ability of is a subclass of perception
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14616-14616	The number 1 argument of series volume is a subclass of series
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2887-2887	The number 1 argument of shortage is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9396-9396	The number 2 argument of temporal composition is a subclass of time interval
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners