No TPTP formula. May not be expressible in strict first order.	Merge.kif 13469-13469	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 18371-18371	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 8640-8640	The number 2 argument of minute is a subclass of hour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8571-8571	The number 1 argument of month is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8572-8572	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 14662-14662	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 8969-8969	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 8444-8444	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 8445-8445	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 8667-8667	The number 2 argument of second is a subclass of minute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13489-13489	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 13509-13509	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 14617-14617	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 9374-9374	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