| Founding(founding)
| | appoint, constitute, establish, form, found, institute, launch, name, nominate, organise, organize, plant, set_up |
| appearance as argument number 1 |
|
|
| (subclass Founding Declaring) | Mid-level-ontology.kif 927-927 | Founding is a subclass of declaring |
| (subclass Founding OrganizationalProcess) | Mid-level-ontology.kif 928-928 | Founding is a subclass of organizational process |
| (documentation Founding EnglishLanguage "Setting up an Organization.") | Mid-level-ontology.kif 929-929 | Founding is a subclass of organizational process |
| (externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/1/ 19/ Constitution_Pg1of4_AC.jpg") | pictureList.kif 2951-2951 | Founding is a subclass of organizational process |
| (externalImage Founding "http://upload.wikimedia.org/wikipedia/commons/5/ 53/ Constitution_Pg2of4_AC.jpg") | pictureList.kif 3077-3077 | Founding is a subclass of organizational process |
| (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 | Founding is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FOUND Founding) (exists (?ORG) (and (instance ?ORG Organization) (result ?FOUND ?ORG)))) |
Mid-level-ontology.kif 931-936 | If X is an instance of founding, then there exists Y such that Y is an instance of organization and Y is a result of X |
| (=> (and (instance ?ORG Organization) (instance ?F Founding) (result ?F ?ORG)) (exists (?FOUNDER) (and (instance ?FOUNDER AutonomousAgent) (agent ?F ?FOUNDER)))) |
Society.kif 232-240 | If X is an instance of organization, Y is an instance of founding, and X is a result of Y, then there exists Z such that Z is an instance of agent and Z is an agent of Y |
| 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 964-971 | X is a year of founding of Y if, only if there exist Z, W such that W overlaps the time of existence of Z, W is an instance of the year X, Z is an instance of founding, and Y is a result of Z |
| (=> (and (attribute ?A Founder) (instance ?A Human)) (exists (?PROC) (and (instance ?PROC Founding) (agent ?PROC ?A)))) |
Biography.kif 229-236 | If founder is an attribute of X and X is an instance of human, then there exists Y such that Y is an instance of founding and X is an agent of Y |
| (=> (foundingdate ?ORG ?D) (exists (?F) (and (instance ?F Founding) (instance ?ORG Organization) (experiencer ?F ?ORG) (date ?F ?D)))) |
Society.kif 214-221 | If foundingdate X and Y, then there exists Z such that Z is an instance of founding, X is an instance of organization, X experiences Z, and date of Z is Y |
| (=> (instance ?ORG Organization) (exists (?F) (and (instance ?F Founding) (result ?F ?ORG)))) |
Society.kif 224-229 | If X is an instance of organization, then there exists Y such that Y is an instance of founding and X is a result of Y |
| (=> (instance ?AF ArchitectureFirm) (exists (?DATE ?F ?A) (and (attribute ?A Architect) (instance ?F Founding) (instance ?AF Business) (foundingdate ?AF ?DATE) (result ?F ?AF) (agent ?F ?A)))) |
Society.kif 286-295 | If X is an instance of ArchitectureFirm, then All of the following hold: (1) there exist Y, Z (2) W such that architect is an attribute of W (3) Z is an instance of founding (4) X is an instance of business (5) foundingdate X (6) Y (7) X is a result of Z (8) W is an agent of Z |
|
|
|