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 6491-6493
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 6484-6484 conjugate is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6485-6485 conjugate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6488-6488 conjugate is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6486-6486 conjugate is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6487-6487 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 6495-6503


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



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