No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1364-1371 |
|
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 21775-21794 |
|
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 8426-8434 |
|
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 7538-7546 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19691-19699 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 857-873 |
|