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 17542-17542 | 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 17552-17553 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17551-17551 | 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 17543-17543 | Solid are all the attributes of physical state |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31557-31557 | roomTempState abrin toxin and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31539-31539 | roomTempState actinium and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31561-31561 | roomTempState alumina and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31463-31463 | roomTempState aluminum and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31545-31545 | roomTempState americium and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31563-31563 | roomTempState amphetamine and solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2872-2872 | roomTempState animal fat and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31501-31501 | roomTempState antimony and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31483-31483 | roomTempState arsenic and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31564-31564 | roomTempState asbestos and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31535-31535 | roomTempState astatine and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31567-31567 | roomTempState barite and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31506-31506 | roomTempState barium and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31568-31568 | roomTempState batrachotoxin and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31569-31569 | roomTempState bauxite and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31547-31547 | roomTempState berkelium and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31453-31453 | roomTempState beryllium and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31533-31533 | roomTempState bismuth and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31570-31570 | roomTempState botulinum toxin and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31416-31416 | roomTempState boulder and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31400-31400 | roomTempState brown coal and solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3098-3098 | roomTempState butter and solid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2931-2931 | roomTempState butter fat and solid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31498-31498 | roomTempState cadmium and solid |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8979-8983 | 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 10265-10269 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6997-7014 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14000-14008 |
|
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 13912-13920 |
|
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 1091-1096 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7049-7066 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13880-13893 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10524-10526 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10498-10510 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4570-4585 |
|
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 2782-2792 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6004-6010 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2514-2524 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9251-9253 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8954-8956 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1180-1182 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1137-1139 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17910-17912 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4549-4564 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |