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

Formal Language: 



KB Term:  Term intersection
English Word: 

  linearExtent

 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 7534-7539
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 7532-7532 域 linearExtent, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7531-7531 例 linearExtent and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7530-7530 子關係 linearExtent and 測量

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 7548-7548 子關係 高度 and linearExtent
No TPTP formula. May not be expressible in strict first order. Merge.kif 7557-7557 子關係 length and linearExtent
No TPTP formula. May not be expressible in strict first order. Merge.kif 7543-7543 子關係 寬度 and linearExtent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65866-65866

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

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