EndFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14000-14008 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18249-18255 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16465-16477 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1012-1026 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11509-11516 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10920-10933 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10724-10732 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11424-11431 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17897-17902 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10863-10870 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 548-555 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10610-10618 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10578-10586 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12092-12106 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19889-19896 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24116-24129 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23805-23820 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16484-16494 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11949-11956 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10683-10691 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10651-10659 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10665-10675 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19865-19875 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1935-1944 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1615-1624 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |