No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25580-25585 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2811-2813 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2782-2784 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3996-3998 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 661-663 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 340-342 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1089-1091 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1135-1137 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1069-1071 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25633-25635 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 160-162 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25602-25604 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25594-25596 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25614-25616 |
|