No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 489-501 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 657-669 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4234-4241 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22218-22240 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1277-1287 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31855-31864 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31866-31876 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3547-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2403-2418 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1990-1999 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2625-2638 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12439-12449 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1228-1238 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2350-2372 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1129-1139 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2661-2677 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2535-2545 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 225-238 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 636-654 |
|
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. |
Sports.kif 674-682 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 661-675 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4180-4193 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1909-1922 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |