No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15426-15439 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30056-30065 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1041-1049 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17662-17670 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1067-1074 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1050-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1231-1239 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2071-2080 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2035-2053 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3340-3352 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 210-218 |
|
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. |
Transportation.kif 1250-1257 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3472-3481 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2036-2045 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22221-22229 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 335-343 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1247-1264 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3487-3496 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26126-26135 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 92-104 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 121-138 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30756-30758 |
|