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 6496-6498
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6494-6494	Le nombre 1 argument de conjugate est une instance de substance compos�e
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6495-6495	Le nombre 2 argument de conjugate est une instance de substance compos�e
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6489-6489	conjugate est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6490-6490	conjugate est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6493-6493	conjugate est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6491-6491	conjugate est une instance de relation sym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6492-6492	conjugate est une instance de relation transitive

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 6500-6508

conjugate substance compos�e and substance compos�e
nombre entier positif nombre entier positif protonNumber substance compos�e and nombre entier positif protonNumber substance compos�e and nombre entier positif nombre entier positif est nombre entier positif + 1) nombre entier positif est nombre entier positif + 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