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 16316-16316 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 16326-16327
No TPTP formula. May not be expressible in strict first order. Merge.kif 16325-16325 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 16317-16317 Solid are all the attributes of physical state
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53761-53761
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53760-53760
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53759-53759

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 1224-1233

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8661-8665 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 9652-9656
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 12962-12970
No TPTP formula. May not be expressible in strict first order. Cars.kif 2961-2967
No TPTP formula. May not be expressible in strict first order. Merge.kif 12881-12889
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 12849-12862
No TPTP formula. May not be expressible in strict first order. Merge.kif 12789-12798
No TPTP formula. May not be expressible in strict first order. Cars.kif 1141-1150
No TPTP formula. May not be expressible in strict first order. Cars.kif 934-949
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 5601-5607
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 8636-8638
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 15664-15666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2542-2544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19279-19285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19265-19270


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