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 17282-17282 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 17292-17293
No TPTP formula. May not be expressible in strict first order. Merge.kif 17291-17291 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 17283-17283 Solid are all the attributes of physical state
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53847-53847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53846-53846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53845-53845

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7261-7270
No TPTP formula. May not be expressible in strict first order. Geography.kif 6830-6850
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 1219-1228

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8582-8586 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 10172-10176
No TPTP formula. May not be expressible in strict first order. Geography.kif 6685-6702
No TPTP formula. May not be expressible in strict first order. Merge.kif 13746-13754
No TPTP formula. May not be expressible in strict first order. Cars.kif 2986-2992
No TPTP formula. May not be expressible in strict first order. Merge.kif 13665-13673
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 1090-1095
No TPTP formula. May not be expressible in strict first order. Geography.kif 6737-6754
No TPTP formula. May not be expressible in strict first order. Merge.kif 13633-13646
No TPTP formula. May not be expressible in strict first order. Merge.kif 13573-13582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10032-10034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10006-10018
No TPTP formula. May not be expressible in strict first order. Cars.kif 1150-1159
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
No TPTP formula. May not be expressible in strict first order. Weather.kif 2781-2791
No TPTP formula. May not be expressible in strict first order. Geography.kif 5901-5907
No TPTP formula. May not be expressible in strict first order. Weather.kif 2513-2523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8862-8864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8557-8559
No TPTP formula. May not be expressible in strict first order. Weather.kif 1179-1181
No TPTP formula. May not be expressible in strict first order. Weather.kif 1136-1138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17302-17304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2036-2038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20872-20878

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 3.0 is open source software produced by Articulate Software and its partners