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 7455-7456
No TPTP formula. May not be expressible in strict first order. Merge.kif 7452-7452 width is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7451-7451 width is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7453-7453 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 618-618
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 63041-63041
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63040-63040

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 881-887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4436-4446
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 610-619
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 870-879
No TPTP formula. May not be expressible in strict first order. Geography.kif 859-868
No TPTP formula. May not be expressible in strict first order. Merge.kif 9668-9674

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1243-1248
No TPTP formula. May not be expressible in strict first order. Media.kif 1230-1235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30479-30484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30472-30477
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12866-12875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12849-12857
No TPTP formula. May not be expressible in strict first order. Merge.kif 9676-9682
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 1171-1176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3792-3796
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3735-3739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3766-3770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3818-3822
No TPTP formula. May not be expressible in strict first order. Geography.kif 837-842
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