|
|
   Founding
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Founding EnglishLanguage "Setting up an Organization.") | Mid-level-ontology.kif 933-933 | |
| (externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Constitution_Pg1of4_AC.jpg") | pictureList.kif 2952-2952 | |
| (externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/4/ 43/ Scene_at_the_Signing_of_the_Constitution_of_the_United_States.png") | pictureList.kif 3079-3079 | |
| (externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Constitution_Pg2of4_AC.jpg") | pictureList.kif 3078-3078 | |
| (subclass Founding Declaring) | Mid-level-ontology.kif 931-931 | 子類 創建 and Declaring |
| (subclass Founding OrganizationalProcess) | Mid-level-ontology.kif 932-932 | 子類 創建 and OrganizationalProcess |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Founding "创建") | domainEnglishFormat.kif 24806-24806 | |
| (termFormat ChineseTraditionalLanguage Founding "創建") | domainEnglishFormat.kif 24805-24805 | |
| (termFormat EnglishLanguage Founding "founding") | domainEnglishFormat.kif 24804-24804 |
| antecedent |
|
|
| (=> (instance ?FOUND Founding) (exists (?ORG) (and (instance ?ORG Organization) (result ?FOUND ?ORG)))) |
Mid-level-ontology.kif 935-940 |
| consequent |
|
|
| (<=> (yearOfFounding ?O ?Y) (exists (?F ?YEAR) (and (overlapsTemporally (WhenFn ?F) ?YEAR) (instance ?YEAR (YearFn ?Y)) (instance ?F Founding) (result ?F ?O)))) |
Mid-level-ontology.kif 968-975 | Integer 是 Organization 的 year 資金 Process IntegerEAR 暫時重疊 何時 Process and IntegerEAR 例 IntegerEAR and 年 Integer 例 Process and 創建 結果 Process and Organization |
| (=> (and (attribute ?A Founder) (instance ?A Human)) (exists (?PROC) (and (instance ?PROC Founding) (agent ?PROC ?A)))) |
Biography.kif 223-230 |
|
|
|
|
