No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18645-18657 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6031-6040 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2596-2605 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2154-2166 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1139-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2519-2532 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4208-4223 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1194-1202 |
|
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 3482-3509 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 89-96 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14388-14393 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2754-2763 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 882-901 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 914-925 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25994-26002 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26053-26074 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3355-3373 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3675-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26719-26732 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14433-14439 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20693-20701 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 96-104 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4425-4430 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |