No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3077-3077	The values returned by ship berthing are subclasses of ship berthing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 415-415	The values returned by start are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 429-429	The values returned by stop are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2144-2144	The values returned by supreme court are subclasses of supreme court
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9411-9411	The values returned by temporal composition are subclasses of time interval
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1604-1604	The values returned by transit are subclasses of translocation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1567-1567	The values returned by transportation are subclasses of transportation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1584-1584	The values returned by trip are subclasses of transportation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1694-1694	The values returned by voting are subclasses of voting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8988-8988	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8592-8592	The values returned by year are subclasses of year

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