No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11305-11310 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2629-2645 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1368-1376 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 943-958 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2523-2531 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 922-936 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2843-2872 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1000-1011 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2129-2135 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2139-2144 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3358-3360 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1523-1532 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6746-6754 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2012-2021 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 285-299 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 305-319 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 854-856 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1663-1673 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4235-4249 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11278-11283 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3818-3834 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17538-17549 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3386-3393 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2566-2571 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 248-258 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |