No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26068-26079 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7403-7405 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18370-18375 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15876-15887 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2596-2605 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4235-4249 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29698-29710 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4528-4543 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2417-2428 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1710-1716 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1671-1675 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 55-58 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30878-30884 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 967-973 |
|