No TPTP formula. May not be expressible in strict first order.	Food.kif 3489-3491	If a kind of plant is equal to plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4732-4735	If a kind of plant is equal to plant fn wine grape, then a kind of plant is a subclass of grape vine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4066-4069	If a kind of plant is equal to plant fn common wheat grain, then a kind of plant is a subclass of common wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4076-4079	If a kind of plant is equal to plant fn durum wheat grain, then a kind of plant is a subclass of durum wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4096-4099	If a kind of plant is equal to plant fn Einkorn wheat grain, then a kind of plant is a subclass of einkorn wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4086-4089	If a kind of plant is equal to plant fn Emmer wheat grain, then a kind of plant is a subclass of emmer wheat grass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4107-4110	If a kind of plant is equal to plant fn spelt wheat grain, then a kind of plant is a subclass of spelt wheat grass
No TPTP formula. May not be expressible in strict first order.	Media.kif 3203-3205	If a symbolic string is the title in a language for instances of a class, then the class is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30397-30400	If a kind of organism inhabits a geographic area, then a kind of organism is not a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 98-104	If an entity is an immediate instance of a class, then there doesn't exist another class such that the other class is a subclass of the class and the other class is not equal to the class and the entity is an instance of the other class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 160-167	If a class is an immediate subclass of another class, then there doesn't exist a third class such that the third class is a subclass of the other class and the class is a subclass of the third class and the other class is not equal to the third class and the class is not equal to the third class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16981-16986	If an object is an instance of game artifact, then there exists a kind of process such that a kind of process is a subclass of game and the object is capable of doing the kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4732-4740	If a physical is an instance of iceberg, then there exists a class such that the class is a subclass of glacier and the physical is made of the class holds during immediately before the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	engineering.kif 826-831	If a corpuscular object is an instance of electrical conductor, then there exists a kind of substance such that a kind of substance is a subclass of conductor substance and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1688-1693	If a corpuscular object is an instance of charcoal filter, then there exists a kind of substance such that a kind of substance is a subclass of charcoal and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 828-830	If a class is an instance of class, then the class is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	If a physical is an instance of counter operation, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of military operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2193-2203	If a physical is an instance of counter reconnaissance, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of reconnaissance operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	If a physical is an instance of counter terrorism, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of terrorism and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3600-3605	If a corpuscular object is an instance of coin, then there exists a kind of substance such that a kind of substance is a subclass of metal and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6087-6089	If a graph is an instance of graph, then the set of minimal paths that partition the graph into two separate graphs is a subclass of the set of paths that partition the graph into two separate graphs
No TPTP formula. May not be expressible in strict first order.	engineering.kif 855-860	If a corpuscular object is an instance of resistor element, then there exists a kind of substance such that a kind of substance is a subclass of insulator substance and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15016-15024	If a collection is an instance of industry, then there exist a physical, another physical and a class such that the physical is a member of the collection and the other physical is a member of the collection and the class is a subclass of corporation and the physical is an immediate instance of the class and the other physical is an immediate instance of the class
No TPTP formula. May not be expressible in strict first order.	Food.kif 1909-1915	If an object is an instance of meat, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	If a corpuscular object is an instance of corpuscular object, then there exist a kind of substance and another kind of substance such that a kind of substance is a subclass of substance and another kind of substance is a subclass of substance and the corpuscular object is made of the kind of substance and the corpuscular object is made of the other kind of substance and the kind of substance is not equal to the other kind of substance
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