| ContentBearingPhysical | |
| appearance as argument number 1 |
|
|
| (documentation ContentBearingPhysical ChineseLanguage "任何能表达内容的 Object 或 Process 。这包括有 Proposition 的 Object ，像一本书和同样有 Proposition 的 ManualSignLanguage。") | chinese_format.kif 1637-1638 | |
| (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 1305-1308 | |
| (documentation ContentBearingPhysical JapaneseLanguage "コンテンツを表現する任意の Object または Process 。 これは、本のように、Proposition を含む Object をカバーする。 同様に、 ManualSignLanguage も Proposition を含む。") | japanese_format.kif 220-222 | |
| (documentation ContentBearingPhysical SpanishLanguage "Un Object o Process que expresa contenido. Esto cubre los Objects que contienen una Proposition, como un libro, así como un ManualSignLanguage, por lo que puede contener una Proposition.") | spanish_format.kif 261-264 | |
| (subclass ContentBearingPhysical Physical) | Merge.kif 1303-1303 |
| appearance as argument number 2 |
|
|
| (subclass Brand ContentBearingPhysical) | Hotel.kif 1280-1280 | |
| (subclass ContentBearingObject ContentBearingPhysical) | Merge.kif 1327-1327 | |
| (subclass ContentBearingProcess ContentBearingPhysical) | Merge.kif 1315-1315 | |
| (subclass Icon ContentBearingPhysical) | Merge.kif 1378-1378 | |
| (subclass LinguisticExpression ContentBearingPhysical) | Merge.kif 1396-1396 | |
| (subclass SymbolicString ContentBearingPhysical) | Merge.kif 1335-1335 | |
| (subclass VisualContentBearingPhysical ContentBearingPhysical) | Mid-level-ontology.kif 26501-26501 | |
| (termFormat ChineseLanguage ContentBearingPhysical "内容承载物理") | domainEnglishFormat.kif 16955-16955 | |
| (termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理") | domainEnglishFormat.kif 16954-16954 | |
| (termFormat EnglishLanguage ContentBearingPhysical "content bearing physical") | domainEnglishFormat.kif 16953-16953 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (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 12102-12118 | |
| (=> (instance ?OBJ ContentBearingPhysical) (exists (?THING) (represents ?OBJ ?THING))) |
Merge.kif 1310-1313 |
| consequent |
|
|
| (=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical)) |
Media.kif 3189-3194 | |
| (=> (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 |
|
|
|