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 | Le nombre 2 argument de capability est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3904-3904 | Le nombre 3 argument de capability est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3902-3902 | Le nombre 1 argument de capability est une sous-classe de processus |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3901-3901 | capability est une instance de pr�dicat ternaire |
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 11190-11195 |
|
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 | LegalAgent est un attribut de entit� pendant position temporel entit� est capable de faire action l�gale dans le r�le agent entit� est capable de faire action l�gale dans le r�le patient pendant position temporel |
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 10684-10695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10671-10682 |
|
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 12036-12048 |
|
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 9560-9573 |
|
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
|