| Founding(founding)
| | appoint, constitute, establish, form, found, institute, launch, name, nominate, organise, organize, plant, set_up |
| appearance as argument number 1 |
|
|
| (documentation Founding EnglishLanguage "Setting up an Organization.") | Mid-level-ontology.kif 926-926 | |
| (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 924-924 | Founding is a subclass of declaring |
| (subclass Founding OrganizationalProcess) | Mid-level-ontology.kif 925-925 | Founding is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Founding "创建") | domainEnglishFormat.kif 24840-24840 | |
| (termFormat ChineseTraditionalLanguage Founding "創建") | domainEnglishFormat.kif 24839-24839 | |
| (termFormat EnglishLanguage Founding "founding") | domainEnglishFormat.kif 24838-24838 |
| antecedent |
|
|
| (=> (instance ?FOUND Founding) (exists (?ORG) (and (instance ?ORG Organization) (result ?FOUND ?ORG)))) |
Mid-level-ontology.kif 928-933 |
|
| 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 961-968 | An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process |
| (=> (and (attribute ?A Founder) (instance ?A Human)) (exists (?PROC) (and (instance ?PROC Founding) (agent ?PROC ?A)))) |
Biography.kif 223-230 |
|
|
|