No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10685-10696 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10672-10683 |
|
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 11108-11118 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11141-11151 |
|
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 22018-22025 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29758-29765 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11560-11564 |
|
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 17051-17063 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4287-4299 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4301-4314 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |