| ContentBearingObject(有内用物体) | |
| appearance as argument number 1 |
|
|
| (documentation ContentBearingObject ChineseLanguage "任何能表达内容的 SelfConnectedObject 内容可以是一篇 Proposition ， 举例说当 ContentBearingObject 是一个 Sentence 或 Text ， 又或者是抽象或有形物体像一个 Icon 、一个 Word 或一个 Phrase 。") | chinese_format.kif 1641-1643 | |
| (documentation ContentBearingObject EnglishLanguage "Any SelfConnectedObject that expresses content. This content may be a Proposition, e.g. when the ContentBearingObject is a Sentence or Text, or it may be a representation of an abstract or physical object, as with an Icon, a Word or a Phrase.") | Merge.kif 1326-1329 | |
| (documentation ContentBearingObject JapaneseLanguage "コンテンツを表現する任意の SelfConnectedObject 。 このコンテンツは Proposition である可能性がある。例：Icon、 Word、または Phrase と同様、ContentBearingObject が Sentence か Text の時、または 抽象的または物理的なオブジェクトの表現である可能性がある場合。") | japanese_format.kif 225-228 | |
| (documentation ContentBearingObject SpanishLanguage "Cualquier SelfConnectedObject que expresa contenido. Puede ser una Proposition, por ejemplo cuando ContentBearingObject sea una Sentence o Text, o pueda ser una representación de un objeto abstracto o físico representation como un Icon, Word o Phrase.") | spanish_format.kif 267-270 | |
| (relatedInternalConcept ContentBearingObject containsInformation) | Merge.kif 1324-1324 | 有内用物体 和 包含信息 是 内部相关 |
| (subclass ContentBearingObject ContentBearingPhysical) | Merge.kif 1323-1323 | 有内用物体 是 内容承载物理 的 subclass |
| (subclass ContentBearingObject CorpuscularObject) | Merge.kif 1322-1322 | 有内用物体 是 躯体性物体 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain cardCode 1 ContentBearingObject) | FinancialOntology.kif 3517-3517 | 卡代码 的 1 数量 是 有内用物体 的 instance |
| (domain coding 1 ContentBearingObject) | QoSontology.kif 2332-2332 | coding 的 1 数量 是 有内用物体 的 instance |
| (domain deceptiveIdentifier 1 ContentBearingObject) | Mid-level-ontology.kif 24964-24964 | 欺骗性标识符 的 1 数量 是 有内用物体 的 instance |
| (domain inventory 1 ContentBearingObject) | Mid-level-ontology.kif 24360-24360 | 库存 的 1 数量 是 有内用物体 的 instance |
| (domain mimeType 1 ContentBearingObject) | QoSontology.kif 2383-2383 | mimeType 的 1 数量 是 有内用物体 的 instance |
| (domain record 1 ContentBearingObject) | Mid-level-ontology.kif 15704-15704 | record 的 1 数量 是 有内用物体 的 instance |
| (domain stored 1 ContentBearingObject) | Mid-level-ontology.kif 15730-15730 | stored 的 1 数量 是 有内用物体 的 instance |
| (domainSubclass EditionFn 1 ContentBearingObject) | Merge.kif 15643-15643 | 版本函数 的 1 数量 是 有内用物体 的 subclass |
| (domainSubclass authors 2 ContentBearingObject) | Merge.kif 15594-15594 | 作者 的 2 数量 是 有内用物体 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?EVENT OperationPlanning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OperationPlan)) |
MilitaryProcesses.kif 1527-1533 | |
| (=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN)))) |
Merge.kif 10963-10971 | |
| (=> (and (instance ?INTERPRET Interpreting) (agent ?INTERPRET ?AGENT) (patient ?INTERPRET ?CONTENT) (instance ?CONTENT ContentBearingObject)) (exists (?PROP) (holdsDuring (EndFn (WhenFn ?INTERPRET)) (believes ?AGENT (containsInformation ?CONTENT ?PROP))))) |
Merge.kif 10986-10993 | |
| (=> (and (instance ?PLAN OperationPlan) (containsInformation ?CBO ?PLAN) (instance ?CBO ContentBearingObject) (result ?EVENT ?CBO)) (instance ?EVENT OperationPlanning)) |
MilitaryProcesses.kif 1535-1541 | |
| (=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP)) |
MilitaryProcesses.kif 1573-1580 | |
| (=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ)))) |
Merge.kif 16962-16970 | |
| (=> (and (instance ?PLANNING JointOperationPlanning) (result ?PLANNING ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OPLAN)) |
MilitaryProcesses.kif 1812-1818 | |
| (=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP)) |
Geography.kif 3013-3020 | |
| (=> (and (instance ?X ContentBearingObject) (attribute ?X Braille)) (exists (?H) (and (instance ?H Human) (attribute ?H Blind) (capability Interpreting agent ?H) (capability Interpreting patient ?X)))) |
Dining.kif 244-253 |
| consequent |
|
|
| (=> (attribute ?X Braille) (instance ?X ContentBearingObject)) |
Dining.kif 240-242 | |
| (=> (instance ?DA DisplayArtifact) (hasPurpose ?DA (exists (?P ?D ?I) (and (instance ?P Putting) (instance ?D Disseminating) (instance ?I ContentBearingObject) (patient ?P ?I) (patient ?D ?I) (destination ?P ?DA))))) |
Mid-level-ontology.kif 3799-3809 | |
| (=> (instance ?DEVELOP ContentDevelopment) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (result ?DEVELOP ?OBJ)))) |
Merge.kif 12814-12819 | |
| (=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP)))) |
Merge.kif 4621-4626 |
|
|
|