No TPTP formula. May not be expressible in strict first order.	Merge.kif 3801-3801	The number 1 argument of causes subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3802-3802	The number 2 argument of causes subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 934-934	The number 3 argument of disease treatment is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7911-7911	The number 1 argument of frequency is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3980-3980	The number 1 argument of has skill is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4392-4392	The number 2 argument of hinders is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4309-4309	The number 1 argument of hinders subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4310-4310	The number 2 argument of hinders subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18367-18367	The number 2 argument of inhibits is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9934-9934	The number 3 argument of pathology treatment is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23272-23272	The number 3 argument of plays role in event of type is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4293-4293	The number 1 argument of precondition is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4294-4294	The number 2 argument of precondition is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4368-4368	The number 2 argument of prevents is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4337-4337	The number 1 argument of prevents subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4338-4338	The number 2 argument of prevents subclass is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2784-2784	The number 2 argument of process inclusion is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22816-22816	The number 1 argument of typical action is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1442-1442	The number 1 argument of typical temporal part is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1443-1443	The number 2 argument of typical temporal part is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1482-1482	The number 1 argument of typically contains temporal part is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1483-1483	The number 2 argument of typically contains temporal part is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	Physical is exhaustively partitioned into object and process

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