No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1363-1370 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1522-1535 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 883-896 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8427-8435 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1007-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1027-1040 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7539-7547 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19692-19700 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 857-873 |
|