result |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1084-1092 |
|
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 20823-20836 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13718-13724 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20724-20732 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1209-1215 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 889-898 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2702-2707 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 689-695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21183-21192 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1216-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1660-1669 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1310-1320 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14523-14533 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25530-25544 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1017-1022 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12790-12793 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 464-473 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15685-15690 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12834-12839 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4504-4509 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3638-3645 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1566-1573 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6031-6040 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3101-3106 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |