No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3025-3025	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 422-422	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 436-436	The values returned by stop are subclasses of intentional process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2180-2180	The values returned by supreme court are subclasses of supreme court
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9375-9375	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 1730-1730	The values returned by voting are subclasses of voting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8952-8952	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8556-8556	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