No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 88-93 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7350-7364 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3910-3916 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12036-12048 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7527-7532 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21035-21042 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9560-9573 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16980-16985 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 35-43 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23987-23989 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 48-56 |
|