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 7593-7594
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1356-1357
No TPTP formula. May not be expressible in strict first order. Merge.kif 7590-7590 The number 1 argument of width is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7591-7591 The number 2 argument of width is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7588-7588 width is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7587-7587 width is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7589-7589 width is a subrelation of linear extent

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. french_format.kif 372-372
No TPTP formula. May not be expressible in strict first order. relations-it.txt 316-316
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2106-2106
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 324-324
No TPTP formula. May not be expressible in strict first order. relations-de.txt 806-806
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 350-350
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 394-394
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 413-413
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 508-508
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 63068-63068
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63067-63067
No TPTP formula. May not be expressible in strict first order. terms-de.txt 238-238

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1039-1045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5143-5153
No TPTP formula. May not be expressible in strict first order. Food.kif 2639-2648
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 1028-1037
No TPTP formula. May not be expressible in strict first order. Geography.kif 1017-1026
No TPTP formula. May not be expressible in strict first order. Merge.kif 9899-9905

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1245-1250
No TPTP formula. May not be expressible in strict first order. Media.kif 1232-1237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33015-33020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33008-33013
No TPTP formula. May not be expressible in strict first order. Merge.kif 9907-9912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14737-14746
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14721-14729
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. Transportation.kif 3052-3060
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2942-2948
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3029-3037
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3010-3018
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2804-2810
No TPTP formula. May not be expressible in strict first order. WMD.kif 1179-1184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4284-4288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4227-4231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4258-4262
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. Geography.kif 995-1000
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