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 17963-17963 Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17978-17979
No TPTP formula. May not be expressible in strict first order. Merge.kif 17976-17977
No TPTP formula. May not be expressible in strict first order. Merge.kif 17975-17975 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 17964-17964 Solid are all the attributes of physical state
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9401-9401 "solid" is the printable form of solid in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6895-6904
No TPTP formula. May not be expressible in strict first order. Geography.kif 6464-6484
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1378-1388
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 8652-8656 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 10321-10325
No TPTP formula. May not be expressible in strict first order. Geography.kif 6319-6336
No TPTP formula. May not be expressible in strict first order. Merge.kif 13994-14002
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2963
No TPTP formula. May not be expressible in strict first order. Merge.kif 13905-13913
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 703-708
No TPTP formula. May not be expressible in strict first order. Geography.kif 6371-6388
No TPTP formula. May not be expressible in strict first order. Merge.kif 13871-13884
No TPTP formula. May not be expressible in strict first order. Merge.kif 13809-13818
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 1188-1198
No TPTP formula. May not be expressible in strict first order. Geography.kif 5586-5592
No TPTP formula. May not be expressible in strict first order. Weather.kif 936-946
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 8627-8629
No TPTP formula. May not be expressible in strict first order. Weather.kif 802-804
No TPTP formula. May not be expressible in strict first order. Weather.kif 749-751
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 2541-2543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19214-19220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19200-19205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2559-2561

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