Liquid(液体) |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2502-2510 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1587-1596 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3051-3060 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11438-11446 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7493-7495 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14716-14721 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17560-17562 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17538-17549 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1087-1089 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1053-1055 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2068-2074 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1092-1103 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4549-4564 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2389-2391 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10853-10855 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2236-2246 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12766-12771 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2449-2461 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21575-21584 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2099-2101 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29801-29810 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29823-29832 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29790-29799 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29812-29821 |