No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19919-19940 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29347-29356 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29358-29368 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3516-3520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2365-2380 |
|
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 1958-1967 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2117-2130 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10610-10620 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1137-1147 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2626-2642 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2500-2510 |
|
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. |
Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 593-601 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11520-11524 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11506-11518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16769-16785 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11577-11588 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 564-581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15981-15995 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25314-25327 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2092-2109 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6256-6268 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |