capability |
No TPTP formula. May not be expressible in strict first order. | Military.kif 210-218 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2236-2246 |
|
No TPTP formula. May not be expressible in strict first order. | Communications.kif 394-396 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 753-755 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7527-7532 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2026-2028 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17779-17781 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 136-138 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3408-3410 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16050-16052 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14305-14311 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21997-21999 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 112-129 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2670-2692 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14423-14425 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3783-3808 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 135-151 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7780-7788 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5361-5363 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14432-14438 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26126-26135 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2231-2238 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4061-4065 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4102-4108 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2242-2259 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |