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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - linearExtent
linearExtent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2637-2639
No TPTP formula. May not be expressible in strict first order. Merge.kif 7535-7540
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1352-1355
No TPTP formula. May not be expressible in strict first order. Merge.kif 7533-7533 O argumento numero 2 de linearExtent e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order. Merge.kif 7532-7532 linearExtent e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 7531-7531 linearExtent e' uma sub-relacao de measure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3762-3762
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3761-3761
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3760-3760
No TPTP formula. May not be expressible in strict first order. Merge.kif 7549-7549 height e' uma sub-relacao de linearExtent
No TPTP formula. May not be expressible in strict first order. Merge.kif 7558-7558 length e' uma sub-relacao de linearExtent
No TPTP formula. May not be expressible in strict first order. Merge.kif 7544-7544 width e' uma sub-relacao de linearExtent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65868-65868

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1141-1146
No TPTP formula. May not be expressible in strict first order. Geography.kif 1173-1178
No TPTP formula. May not be expressible in strict first order. Geography.kif 1109-1114
No TPTP formula. May not be expressible in strict first order. Geography.kif 1068-1073
No TPTP formula. May not be expressible in strict first order. Geography.kif 1214-1219
No TPTP formula. May not be expressible in strict first order. Geography.kif 4188-4194

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7564-7572


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