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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - width
width

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2640-2641
No TPTP formula. May not be expressible in strict first order. Merge.kif 7066-7067
No TPTP formula. May not be expressible in strict first order. Merge.kif 7063-7063 width is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7064-7064 width is a subrelation of linearExtent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 615-615
No TPTP formula. May not be expressible in strict first order. english_format.kif 621-621
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 616-616 "宽度" is the printable form of width in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63018-63018 "寬度" is the printable form of width in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63017-63017 "width" is the printable form of width in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9051-9057 The width of a self connected object is a length measure if and only if there exist another self connected object and a third self connected object such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the distance between the other self connected object and the third self connected object is the length measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 873-879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5018-5025
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 233-245
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 250-262
No TPTP formula. May not be expressible in strict first order. Food.kif 672-678
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 219-228
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169
No TPTP formula. May not be expressible in strict first order. Geography.kif 862-871
No TPTP formula. May not be expressible in strict first order. Geography.kif 851-860

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1247-1252
No TPTP formula. May not be expressible in strict first order. Media.kif 1234-1239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11011-11018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10996-11003
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1662-1674
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1235-1247
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1155-1167
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1900-1912
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1189-1201
No TPTP formula. May not be expressible in strict first order. WMD.kif 205-211
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1860-1872
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1788-1800
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1744-1756
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1542-1554
No TPTP formula. May not be expressible in strict first order. WMD.kif 1098-1103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4367-4371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4310-4314
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4341-4345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4393-4397
No TPTP formula. May not be expressible in strict first order. Geography.kif 829-834
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 121-138


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners