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 7666-7667
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 7663-7663 O argumento numero 1 de diameter e' uma instancia de Circle
No TPTP formula. May not be expressible in strict first order. Merge.kif 7664-7664 O argumento numero 2 de diameter e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order. Merge.kif 7660-7660 diameter e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 7661-7661 diameter e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order. Merge.kif 7662-7662 diameter e' uma instancia de Relacao 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 7669-7674

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1538-1544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31157-31162
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31164-31169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31138-31146
No TPTP formula. May not be expressible in strict first order. Sports.kif 964-972


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