No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12016-12027 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12003-12014 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4246-4250 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13868-13878 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28059-28071 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1358-1369 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1962-1978 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 815-836 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1776-1787 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1789-1801 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4854-4870 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2198-2214 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1145-1158 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1255-1263 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3859-3869 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7452-7460 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4834-4842 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3229-3236 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 420-431 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 601-609 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 690-700 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |