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

Formal Language: 



KB Term:  Term intersection
English Word: 

  width

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 7449-7450
No TPTP formula. May not be expressible in strict first order. Merge.kif 7446-7446 width is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7445-7445 width is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7447-7447 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 4432-4442
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 9662-9668

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 30455-30460
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30448-30453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12862-12871
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12845-12853
No TPTP formula. May not be expressible in strict first order. Merge.kif 9670-9676
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 3788-3792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3731-3735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3762-3766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3814-3818
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 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