No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2585-2603 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22367-22372 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29007-29016 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3197-3211 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 524-533 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30064-30085 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17943-17949 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17921-17927 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16636-16646 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 494-507 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9411-9433 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12151-12165 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9472-9494 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3966-3991 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 480-492 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 89-103 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 665-671 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13591-13599 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11486-11493 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1230-1257 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 772-780 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1931-1945 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4529-4539 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12199-12208 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 443-456 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |