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 21782-21782	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 14745-14745	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 8748-8748	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 8765-8765	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 8769-8769	Salt is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1771-1771	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 6468-6468	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 15710-15710	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 6489-6489	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 6490-6490	The number 2 argument of conjugate is an instance of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21764-21764	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.	Mid-level-ontology.kif 21766-21780	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 12609-12615	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 12573-12579	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 12581-12591	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 6472-6482	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 12593-12602	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: