Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ContentBearingPhysical
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ContentBearingPhysical Physical) | Merge.kif 1394-1394 | Content bearing physical is a subclass of physical |
| (documentation ContentBearingPhysical EnglishLanguage "Any Object or Process that expresses content. This covers Objects that contain a Proposition, such as a book, as well as ManualSignLanguage, which may similarly contain a Proposition.") | Merge.kif 1396-1399 | Content bearing physical is a subclass of physical |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?OBJ ContentBearingPhysical) (exists (?THING) (represents ?OBJ ?THING))) |
Merge.kif 1401-1404 | If X is an instance of content bearing physical, then there exists Y such that X expresses Y |
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12332-12348 | If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
| consequent |
|
|
| (=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical)) |
Media.kif 3136-3141 | If X is the title in Y for instances of Z, W is an instance of Z, and V is a member of W, then V is an instance of content bearing physical |
| (=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC)))))) |
Military.kif 32-44 | If X is an instance of plan, Y is an instance of process, and X expresses Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of planning (3) W is an instance of content bearing physical (4) W contains information X (5) W is a result of Z (6) the beginning of the time of existence of Z happens earlier than the beginning of the time of existence of Y (7) the end of the time of existence of Z happens earlier than the end of the time of existence of Y |
|