capability |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12588-12590 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1883-1888 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 922-928 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 546-548 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 917-919 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3987-3989 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1820-1827 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6427-6431 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 390-394 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 441-445 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6583-6585 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13015-13017 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1561-1564 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11997-11999 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1013-1015 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13461-13463 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15828-15830 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1264-1272 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16981-16986 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4746-4748 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13316-13318 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2127-2137 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14754-14756 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17822-17824 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17715-17717 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |