No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	If a military vehicle can carry a positive integer weapons of type a kind of weapon. and an object is an instance of a kind of weapon and the object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting or the kind of process is a subclass of damaging, then the military vehicle is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18344-18348	If asleep is an attribute of an object or awake is an attribute of the object, then living is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8151-8155	If a time point happens before another time point or the time point is equal to the other time point, then the time point happens before or at the other time point
No TPTP formula. May not be expressible in strict first order.	Geography.kif 433-440	If a directional attribute is equal to north or the directional attribute is equal to south, then the length of the region the directional attribute of 0.0 angular degree(s) is 1.0 nautical mile(s)

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