No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 466-482 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10555-10570 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10533-10548 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1753-1773 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19583-19595 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 293-306 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 408-424 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1952-1959 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19565-19577 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 45-56 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17517-17522 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1987-1999 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2016-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2114-2133 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2104-2113 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7068-7082 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1398-1405 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5997-6017 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3603-3617 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3212-3228 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11264-11272 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11158-11166 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 466-481 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |