No TPTP formula. May not be expressible in strict first order. |
Weather.kif 568-573 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25579-25584 |
|
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 31141-31143 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7694-7696 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4948-4951 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4967-4970 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7651-7654 |
|
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. |
Cars.kif 1611-1621 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 964-973 |
|
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 25621-25623 |
|
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. |
Merge.kif 7673-7675 |
|