No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 433-434	7.62 Millimeter(s) is a caliber of m60
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 636-637	40.0 Millimeter(s) is a caliber of Mk19
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 828-829	83.0 Millimeter(s) is a caliber of SMAW bunker buster
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 531-532	12.7 Millimeter(s) is a caliber of XM218
No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then ?AGENT is capable of doing the voting of ?ELECTION as a agent contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2935-2935	10.0 United states cent(s) is a currency value of united states cent coin
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2932-2932	5.0 United states cent(s) is a currency value of united states five cent coin
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2938-2938	25.0 United states cent(s) is a currency value of united states quarter coin
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30600-30600	The maximum expected length of hamster is 10.0 centimeter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30457-30457	The maximum expected value of lemur is 20.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30359-30359	The maximum expected value of lion is 600.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30437-30437	The maximum expected value of parrot is 9.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30424-30424	The maximum expected value of rhinoceros is 2200.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20272-20272	The expected value of alligator is 790.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20285-20285	The expected value of badger is 20.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20300-20300	The expected value of bear is 500.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Food.kif 2524-2525	The expected value of box of chocolate is 250.0 gram(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30554-30554	The expected value of cheetah is 150.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30530-30530	The expected value of crocodile is 2000.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30571-30571	The expected value of ferret is 2.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30589-30589	The expected value of guinea pig is 2.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20314-20314	The expected value of kangaroo is 18.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20322-20322	The expected value of llama is 18.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30490-30490	The expected value of octopus is 33.0 pound mass(s)
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