BeginFn |
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. | Merge.kif 11509-11516 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25093-25114 |
|
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. | 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. | Merge.kif 12305-12311 |
|
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. | 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. | Mid-level-ontology.kif 469-480 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16305-16324 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13912-13920 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11036-11041 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18059-18067 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2469-2478 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |