| 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 | Founding ist eine teilkategorie von Declaring |
| (subclass Founding OrganizationalProcess) | Mid-level-ontology.kif 932-932 | Founding ist eine teilkategorie von 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 | yearOfFounding Organization and Integer genau dann wenn es gibt Process und ** IntegerEAR um ** IntegerEAR deckt sich mit die zeit des Bestehens von ** Process %n{nicht} und ** IntegerEAR ist ein fall von das jahr ** Integer %n{nicht} und ** Process ist ein fall von Founding %n{nicht} und ** Organization ist ein resultat von ** Process %n{nicht} |
| (=> (and (attribute ?A Founder) (instance ?A Human)) (exists (?PROC) (and (instance ?PROC Founding) (agent ?PROC ?A)))) |
Biography.kif 223-230 |
|
|
|
|