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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FootLength

 Sigma KEE - FootLength
FootLength(脚长)

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 7184-7184
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1300-1300
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. pictureList.kif 9231-9231
No TPTP formula. May not be expressible in strict first order. Merge.kif 7182-7182 脚长 是 UnitOfLength 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24614-24614
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24613-24613
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24612-24612

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1398-1405
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 4772-4777
No TPTP formula. May not be expressible in strict first order. Geography.kif 4837-4842
No TPTP formula. May not be expressible in strict first order. Geography.kif 3903-3910
No TPTP formula. May not be expressible in strict first order. Geography.kif 3844-3848
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19073-19077
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 1557-1566
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 3842-3842 1.0 推测 equal 6.0 脚长
No TPTP formula. May not be expressible in strict first order. Geography.kif 3861-3863 1.0 海里 equal 6076.1 脚长
No TPTP formula. May not be expressible in strict first order. Merge.kif 7186-7188 实数 脚长 equal 那个 实数 和 0.3048 仪表


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