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 7187-7188
No TPTP formula. May not be expressible in strict first order. Merge.kif 7184-7184 width is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7183-7183 width is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7185-7185 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62982-62982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62981-62981

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9175-9181 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 5024-5031
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 628-634
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 11037-11044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11022-11029
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 4373-4377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4316-4320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4347-4351
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4399-4403
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 3.0 is open source software produced by Articulate Software and its partners