Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AgreementOrganizationFn |
| appearance as argument number 1 |
|
| (instance AgreementOrganizationFn UnaryFunction) | Geography.kif 4487-4487 | Agreement organization is an instance of unary function |
| (domain AgreementOrganizationFn 1 Agreement) | Geography.kif 4488-4488 | The number 1 argument of agreement organization is an instance of agreement |
| (range AgreementOrganizationFn Organization) | Geography.kif 4489-4489 | The range of agreement organization is an instance of organization |
| (documentation AgreementOrganizationFn EnglishLanguage "(AgreementOrganizationFn ?AGR) denotes the official Organization established by the Agreement ?AGR to administer or enforce the terms of that agreement.") | Geography.kif 4491-4493 | The range of agreement organization is an instance of organization |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage AgreementOrganizationFn "the agreement organization of %1") | domainEnglishFormat.kif 90-90 | |
| (format ChineseTraditionalLanguage AgreementOrganizationFn "%1 的 agreement 組織") | domainEnglishFormat.kif 91-91 | |
| (format ChineseLanguage AgreementOrganizationFn "%1 的 agreement 组织") | domainEnglishFormat.kif 92-92 | |
| (termFormat EnglishLanguage AgreementOrganizationFn "agreement organization") | domainEnglishFormat.kif 5923-5923 | |
| (termFormat ChineseTraditionalLanguage AgreementOrganizationFn "協議組織") | domainEnglishFormat.kif 5924-5924 | |
| (termFormat ChineseLanguage AgreementOrganizationFn "协议组织") | domainEnglishFormat.kif 5925-5925 |
| antecedent |
|
|
| (=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 4495-4499 | If X is an instance of international agreement and the agreement organization of X is an instance of organization, then the agreement organization of X is an instance of organization of nations |
| consequent |
|
|
| (=> (and (instance ?AGR InternationalAgreement) (instance (AgreementOrganizationFn ?AGR) Organization)) (instance (AgreementOrganizationFn ?AGR) OrganizationOfNations)) |
Geography.kif 4495-4499 | If X is an instance of international agreement and the agreement organization of X is an instance of organization, then the agreement organization of X is an instance of organization of nations |
|