No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1972-1983 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1162-1168 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2803-2815 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2981-2987 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 799-834 |
|
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. |
UXExperimentalTerms.kif 4281-4293 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7932-7938 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 72-79 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1158-1170 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1057-1070 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25402-25411 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3013-3019 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1141-1149 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3074-3081 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 610-617 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25911-25917 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25919-25927 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26508-26520 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 728-737 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2830-2855 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2242-2259 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1335-1342 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 607-617 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2173-2191 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |