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 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 The number 2 argument of linear extent is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7531-7531 linear extent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7530-7530 linear extent is a subrelation of 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 7548-7548 height is a subrelation of linear extent
No TPTP formula. May not be expressible in strict first order. Merge.kif 7557-7557 length is a subrelation of linear extent
No TPTP formula. May not be expressible in strict first order. Merge.kif 7543-7543 width is a subrelation of linear extent
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7563-7571


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