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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Solid
Solid(solid)compactness, dry_ice, frozen, hard, solid, solid-state, solid_state, solidity, solidness, undissolved, vitrification, 固体, 固體

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16213-16213 Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3924-3925
No TPTP formula. May not be expressible in strict first order. Merge.kif 16223-16224
No TPTP formula. May not be expressible in strict first order. Merge.kif 16222-16222 Solid is an instance of physical state

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16214-16214 Solid are all the attributes of physical state
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53803-53803 "固体" is the printable form of solid in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53802-53802 "固體" is the printable form of solid in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53801-53801 "solid" is the printable form of solid in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6911-6920
No TPTP formula. May not be expressible in strict first order. Geography.kif 6480-6500
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1379-1389
No TPTP formula. May not be expressible in strict first order. Cars.kif 1223-1232

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8654-8658 An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9551-9555
No TPTP formula. May not be expressible in strict first order. Geography.kif 6335-6352
No TPTP formula. May not be expressible in strict first order. Merge.kif 12861-12869
No TPTP formula. May not be expressible in strict first order. Cars.kif 2960-2966
No TPTP formula. May not be expressible in strict first order. Merge.kif 12780-12788
No TPTP formula. May not be expressible in strict first order. naics.kif 631-648
No TPTP formula. May not be expressible in strict first order. Weather.kif 702-707
No TPTP formula. May not be expressible in strict first order. Geography.kif 6387-6404
No TPTP formula. May not be expressible in strict first order. Merge.kif 12748-12761
No TPTP formula. May not be expressible in strict first order. Merge.kif 12688-12697
No TPTP formula. May not be expressible in strict first order. Cars.kif 1140-1149
No TPTP formula. May not be expressible in strict first order. Cars.kif 933-948
No TPTP formula. May not be expressible in strict first order. Weather.kif 1285-1295
No TPTP formula. May not be expressible in strict first order. Geography.kif 5602-5608
No TPTP formula. May not be expressible in strict first order. Weather.kif 1033-1043
No TPTP formula. May not be expressible in strict first order. Media.kif 1039-1041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8629-8631
No TPTP formula. May not be expressible in strict first order. Weather.kif 801-803
No TPTP formula. May not be expressible in strict first order. Weather.kif 748-750
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15611-15613
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2536-2538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19215-19221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19201-19206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2554-2556

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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