capability |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2086-2087 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3906-3908 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 734-735 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3903-3903 | 域 能力, 2 and CaseRole |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3904-3904 | 域 能力, 3 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3902-3902 | 域子類 能力, 1 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3901-3901 | 例 能力 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 67-67 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 67-67 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 59-59 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 40-40 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1882-1882 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 11-11 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 74-74 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 118-118 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 74-74 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 82-82 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 78-78 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 58-58 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 96-96 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13020-13020 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 68-68 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13019-13019 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13018-13018 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 19-19 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 97-97 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 134-143 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2949-2957 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4241-4267 | |
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 1250-1256 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1052-1060 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1040-1050 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 980-988 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 968-978 |
|
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. | Merge.kif 3918-3924 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11191-11196 | |
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. | TransportDetail.kif 148-151 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 384-388 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1601-1607 | 持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 599-604 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3552-3557 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3545-3550 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2477-2481 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3496-3510 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 532-536 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12014-12026 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1029-1033 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2942-2947 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7242-7257 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7600-7618 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 437-441 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 579-584 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9561-9574 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2949-2957 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 233-245 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3910-3916 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1092-1103 | 包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|