No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10684-10695 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10671-10682 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4242-4248 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2763-2777 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11107-11117 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11140-11150 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 57-62 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3516-3523 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22017-22024 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29746-29753 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11559-11563 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1422-1432 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3498-3506 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3543-3554 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2766-2773 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 180-185 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2546-2554 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1379-1389 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1235-1247 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17050-17062 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4295-4307 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4309-4322 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |