| Founding
| |
| 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 2951-2951 | |
| (externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/4/ 43/ Scene_at_the_Signing_of_the_Constitution_of_the_United_States.png") | pictureList.kif 3078-3078 | |
| (externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Constitution_Pg2of4_AC.jpg") | pictureList.kif 3077-3077 | |
| (subclass Founding Declaring) | Mid-level-ontology.kif 924-924 | |
| (subclass Founding OrganizationalProcess) | Mid-level-ontology.kif 925-925 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Founding "创建") | domainEnglishFormat.kif 24834-24834 | |
| (termFormat ChineseTraditionalLanguage Founding "創建") | domainEnglishFormat.kif 24833-24833 | |
| (termFormat EnglishLanguage Founding "founding") | domainEnglishFormat.kif 24832-24832 |
| 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 | |
| (=> (and (attribute ?A Founder) (instance ?A Human)) (exists (?PROC) (and (instance ?PROC Founding) (agent ?PROC ?A)))) |
Biography.kif 229-236 |
|
|
|