TreeView Knowledge Base Browser - conjugate

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - conjugate

conjugate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6497-6499
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.	Mid-level-ontology.kif 6490-6490	conjugate is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6491-6491	conjugate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6494-6494	conjugate is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6492-6492	conjugate is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6493-6493	conjugate is an instance of transitive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 528-528
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 527-527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 526-526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16626-16626
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16625-16625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16624-16624

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 6501-6509

If a compound substance is a conjugate of another compound substance,
then there exist a positive integer and another positive integer such that the positive integer is a proton number of the other compound substance and the other positive integer is a proton number of the compound substance and the positive integer is equal to (the other positive integer and 1) or the other positive integer is equal to (the positive integer and 1)

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