before |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1336-1350 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26719-26732 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1457-1470 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16375-16377 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8124-8130 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8044-8052 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8170-8174 |