TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1617-1620
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1174-1180
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 197-201
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 233-239
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1173-1173	Compound substance is a subclass of pure substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2773-2773	Ozone shield is an instance of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2429-2429	Permafrost is an instance of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1085-1085	Pure substance is exhaustively partitioned into compound substance and elemental substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5610-5610	Alumina is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21730-21730	Atomic group is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1996-1996	Barite is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14699-14699	Carbohydrate is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3409-3409	Carbon dioxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5921-5921	Cement is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8721-8721	Chemical acid is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 445-445	Chemical agent is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8738-8738	Chemical base is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5816-5816	Chemical product is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8742-8742	Salt is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1788-1788	Chlorofluorocarbon is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2013-2013	Chromite is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6474-6474	Conjugated substance is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1468-1468	Conotoxin is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2639-2639	DDT is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 81-81	Illicit drug is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5621-5621	Iron ore is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15664-15664	Molecule is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2034-2034	Natural gas is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7201-7201	Nitric oxide is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7226-7226	Nitrogen dioxide is a subclass of compound substance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6495-6495	The number 1 argument of conjugate is an instance of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6496-6496	The number 2 argument of conjugate is an instance of compound substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1770-1770	The number 3 argument of molecular ratio is a subclass of compound substance

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1772-1786	If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance, then the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12563-12569	If an object is a resource for a process and an entity is a result of the process and the object is an instance of compound substance and the entity is an instance of elemental substance, then the process is an instance of chemical decomposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12527-12533	If an object is a resource for a process and an entity is a result of the process and the object is an instance of elemental substance and the entity is an instance of compound substance, then the process is an instance of chemical synthesis
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12535-12545	If an entity is an instance of compound substance, then there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6478-6488	An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12547-12556	If an object is an instance of elemental substance and another object is an instance of elemental substance and the object is not equal to the other object and a process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and an entity is a result of the process, then the entity is an instance of compound substance

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: