| ContentBearingPhysical | | aliyah, content_bearing_physical, radiophoto, radiophotograph |
| appearance as argument number 1 |
|
|
| s__documentation(s__ContentBearingPhysical,s__ChineseLanguage,'任何能表达内容的 Object 或 Process 。这包括有 Proposition 的 Object ，像一本书和同样有 Proposition 的 ManualSignLanguage。') | Merge.kif 1334-1335 | |
| s__documentation(s__ContentBearingPhysical,s__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 1330-1333 | |
| s__subclass(s__ContentBearingPhysical,s__Physical)
|
Merge.kif 1329-1329 |
| appearance as argument number 2 |
|
|
| s__subclass(s__Brand,s__ContentBearingPhysical)
|
Hotel.kif 1227-1227 | |
| s__subclass(s__ContentBearingObject,s__ContentBearingPhysical)
|
Merge.kif 1355-1355 | |
| s__subclass(s__ContentBearingProcess,s__ContentBearingPhysical)
|
Merge.kif 1342-1342 | |
| s__instance(s__Icon,s__SetOrClass)
|
Merge.kif 1400-1400 | |
| s__subclass(s__LinguisticExpression,s__ContentBearingPhysical)
|
Merge.kif 1417-1417 | |
| s__instance(s__VisualContentBearingPhysical,s__SetOrClass)
|
Mid-level-ontology.kif 24113-24113 | |
| s__termFormat(s__EnglishLanguage,s__ContentBearingPhysical,'content bearing physical')
|
domainEnglishFormat.kif 3245-3245 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| ( ! [V__OBJ] : (s__instance(V__OBJ,s__ContentBearingPhysical) => (? [V__THING] : s__represents(V__OBJ,V__THING))) )
|
Merge.kif 1337-1340 |
| consequent |
|
|
| ( ! [V__STRING,V__PRODUCTTYPE,V__LANGUAGE,V__PRODUCT,V__OBJ] : ((s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE) & s__instance(V__PRODUCT,V__PRODUCTTYPE) & s__member(V__OBJ,V__PRODUCT)) => s__instance(V__OBJ,s__ContentBearingPhysical)) )
|
Media.kif 3122-3127 | |
| ( ! [V__PLAN,V__PROC,V__PLANNNG] : ((s__instance(V__PLAN,s__Plan) & s__instance(V__PROC,s__Process) & s__represents(V__PLAN,V__PROC)) => (? [V__PLANNING,V__CBO] : (s__instance(V__PLANNING,s__Planning) & s__instance(V__CBO,s__ContentBearingPhysical) & s__containsInformation(V__CBO,V__PLAN) & s__result(V__PLANNNG,V__CBO) & s__earlier(s__BeginFn(s__WhenFn(V__PLANNING)) ,s__BeginFn(s__WhenFn(V__PROC))) & s__earlier(s__EndFn(s__WhenFn(V__PLANNING)) ,s__EndFn(s__WhenFn(V__PROC)))))) )
|
Military.kif 32-44 |
|
|
|