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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FootLength

Sigma KEE - FootLength
FootLength(foot length)
foot, ft

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2591-2591
No TPTP formula. May not be expressible in strict first order. Merge.kif 7088-7088
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9233-9233
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9232-9232
No TPTP formula. May not be expressible in strict first order. Merge.kif 7086-7086 Foot length is an instance of UnitOfLength

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24609-24609
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24608-24608
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24607-24607

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1397-1404
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4670-4675
No TPTP formula. May not be expressible in strict first order. Geography.kif 4735-4740
No TPTP formula. May not be expressible in strict first order. Geography.kif 3825-3832
No TPTP formula. May not be expressible in strict first order. Geography.kif 3766-3770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18424-18428
No TPTP formula. May not be expressible in strict first order. Transportation.kif 904-906
No TPTP formula. May not be expressible in strict first order. Weather.kif 1556-1565
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1967-1973

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3764-3764 1.0 Fathom(s) is equal to 6.0 foot length(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 3783-3785 1.0 Nautical mile(s) is equal to 6076.1 foot length(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7090-7092 A real number foot length(s) is equal to the real number and 0.3048 meter(s)


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