No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1983-1991 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12313-12321 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25821-25838 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2735-2747 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8600-8610 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1582-1604 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12958-12963 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16250-16259 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5527-5535 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1523-1533 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1967-1975 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1928-1936 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 949-964 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3312-3321 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 403-410 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 425-432 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29474-29485 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18795-18802 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 736-748 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3810-3818 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |