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 |