Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diameter
diameter

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2653-2654
No TPTP formula. May not be expressible in strict first order. Merge.kif 7698-7699
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1370-1371
No TPTP formula. May not be expressible in strict first order. Merge.kif 7695-7695 Le nombre 1 argument de diameter est une instance de objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 7696-7696 Le nombre 2 argument de diameter est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order. Merge.kif 7692-7692 diameter est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 7693-7693 diameter est une instance de relation simple
No TPTP formula. May not be expressible in strict first order. Merge.kif 7694-7694 diameter est une instance de relation total

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 617-617
No TPTP formula. May not be expressible in strict first order. english_format.kif 620-620
No TPTP formula. May not be expressible in strict first order. french_format.kif 373-373
No TPTP formula. May not be expressible in strict first order. relations-it.txt 73-73
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2107-2107
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 325-325
No TPTP formula. May not be expressible in strict first order. relations-de.txt 809-809
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 114-114
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 395-395
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 414-414
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 107-107
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 618-618
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19428-19428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19427-19427
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19426-19426
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 163-163

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1576-1583
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1526-1533
No TPTP formula. May not be expressible in strict first order. Merge.kif 7701-7706
No TPTP formula. May not be expressible in strict first order. Merge.kif 7708-7710

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1541-1549
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31189-31194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31196-31201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31167-31175
No TPTP formula. May not be expressible in strict first order. Sports.kif 964-973


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