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 |