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 7351-7365 |
|
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 12014-12026 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7528-7533 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21036-21043 |
|
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 9561-9574 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16981-16986 |
|
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 23988-23990 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 48-56 |
|