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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diameter

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 The number 1 argument of diameter is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7696-7696 The number 2 argument of diameter is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7692-7692 diameter is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7693-7693 diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7694-7694 diameter is an instance of total valued relation

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