not |
No TPTP formula. May not be expressible in strict first order. | Government.kif 738-753 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 261-270 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 757-776 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29495-29507 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29446-29451 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 437-445 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 426-436 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 457-470 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19442-19452 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30092-30100 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1466-1474 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25736-25749 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1003-1014 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 367-385 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 612-617 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 32-46 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 295-306 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4874-4888 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4958-4972 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2093-2103 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |