capability |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17751-17753 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2946-2948 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15965-15968 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2538-2540 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4318-4320 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15992-15994 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15441-15445 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1161-1165 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1167-1172 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12158-12160 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12143-12145 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15842-15844 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12109-12111 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3706-3708 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5095-5097 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3018-3020 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20515-20517 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25489-25494 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 963-966 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1165-1167 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2489-2491 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2485-2487 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15275-15283 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4484-4486 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12037-12039 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |