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 |