Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Creation
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Creation InternalChange) | Merge.kif 13074-13074 | Creation is a subclass of internal change |
| (relatedInternalConcept Creation Destruction) | Merge.kif 13075-13075 | Creation is internally related to destruction |
| (documentation Creation EnglishLanguage "The subclass of Process in which something is created. Note that the thing created is specified with the result CaseRole.") | Merge.kif 13076-13078 | Creation is internally related to destruction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ACTION Creation) (exists (?RESULT) (result ?ACTION ?RESULT))) |
Merge.kif 13080-13083 | If X is an instance of creation, then there exists Y such that Y is a result of X |
| (=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))))) |
Merge.kif 13085-13092 | If X is an instance of creation, then there exists Y such that Y is a patient of X, Y exists during the end of the time of existence of X, and Y doesn't exist during the beginning of the time of existence of X |
| (=> (and (instance ?CREATE Creation) (result ?CREATE ?PROP) (instance ?PROP Proposition) (agent ?CREATE ?AGENT)) (propositionOwner ?AGENT ?PROP)) |
Catalog.kif 172-178 | If X is an instance of creation, Y is a result of X, Y is an instance of proposition, and Z is an agent of X, then Z authored Y |
| consequent |
|
|
| (=> (and (patient ?PROCESS ?PATIENT) (time ?PATIENT (EndFn (WhenFn ?PROCESS))) (not (time ?PATIENT (BeginFn (WhenFn ?PROCESS))))) (instance ?PROCESS Creation)) |
Merge.kif 13094-13100 | If X is a patient of Y, X exists during the end of the time of existence of Y, and X doesn't exist during the beginning of the time of existence of Y, then Y is an instance of creation |
| (=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 15313-15319 | If X created Y, then there exists Z such that Z is an instance of creation, X is an agent of Z, and Y is a result of Z |
| (=> (policyOwner ?AGENT ?POLICY) (exists (?CREATE) (and (instance ?CREATE Creation) (agent ?CREATE ?AGENT) (result ?CREATE ?POLICY)))) |
Mid-level-ontology.kif 29796-29802 | If X enacts policy Y, then there exists Z such that Z is an instance of creation, X is an agent of Z, and Y is a result of Z |
| (=> (instance ?PS PricingScheme) (exists (?AGENT ?CREATE) (and (instance ?CREATE Creation) (result ?CREATE ?PS) (agent ?CREATE ?AGENT)))) |
Catalog.kif 189-195 | If X is an instance of pricing scheme, then there exist Y, Z such that Z is an instance of creation, X is a result of Z, and Y is an agent of Z |
| (=> (instance ?WALLPOST WallPost) (exists (?USER1 ?USER2 ?CREATION ?PROFILEWALL) (and (instance ?PROFILEWALL ProfileWall) (instance ?USER1 FacebookUser) (instance ?USER2 FacebookUser) (instance ?CREATION Creation) (refers ?PROFILEWALL ?USER2) (agent ?CREATION ?USER1) (result ?CREATION ?WALLPOST) (located ?WALLPOST ?PROFILEWALL) (not (equal ?USER1 ?USER2))))) |
Facebook.kif 266-279 | If X is an instance of wall post, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V is an instance of profile wall (3) Y is an instance of Facebook user (4) Z is an instance of Facebook user (5) W is an instance of creation (6) V includes a reference to Z (7) Y is an agent of W (8) X is a result of W (9) X is located at V (10) equal Y (11) Z |
| (=> (instance ?BRAND Brand) (exists (?AGENT ?CREATION) (and (instance ?CREATION Creation) (result ?CREATION ?BRAND) (agent ?CREATION ?AGENT)))) |
Hotel.kif 1301-1307 | If X is an instance of brand, then there exist Y, Z such that Z is an instance of creation, X is a result of Z, and Y is an agent of Z |
| (=> (composer ?A ?M) (exists (?C) (and (instance ?C Creation) (agent ?C ?A) (result ?C ?M)))) |
Music.kif 148-154 | If X composed Y, then there exists Z such that Z is an instance of creation, X is an agent of Z, and Y is a result of Z |
| (=> (instance ?TUB WhirlpoolTub) (exists (?VALVE) (and (instance ?VALVE PressureControlValve) (part ?VALVE ?TUB) (hasPurpose ?VALVE (exists (?WATER ?CREATION ?MOTION) (and (instance ?WATER Water) (located ?WATER ?TUB) (instance ?CREATION Creation) (instrument ?CREATION ?VALVE) (result ?CREATION ?MOTION) (instance ?MOTION Motion) (located ?MOTION ?WATER))))))) |
engineering.kif 1375-1390 | If X is an instance of whirlpool tub, then All of the following hold: (1) there exists Y such that Y is an instance of pressure control valve (2) Y is a part of X (3) Y has the purpose there exist Z, W (4) V such that Z is an instance of water (5) Z is located at X (6) W is an instance of creation (7) Y is an instrument for W (8) V is a result of W (9) V is an instance of motion (10) V is located at Z |
|