capability |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7351-7365 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13474-13484 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13494-13504 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13514-13519 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13610-13624 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29402-29408 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 51-55 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 244-253 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 144-169 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2653-2658 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2660-2665 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2637-2643 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 98-107 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 88-93 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1267-1273 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1120-1130 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19782-19785 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19774-19776 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1831-1833 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21036-21043 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13943-13945 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 956-980 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21106-21108 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |