ContentBearingObject(コンテンツベアリングオブジェクト) |
appearance as argument number 1 |
appearance as argument number 2 |
appearance as argument number 3 |
antecedent |
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 3356-3366 | |
(=> (instance ?DEVELOP ContentDevelopment) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (result ?DEVELOP ?OBJ)))) |
Merge.kif 12675-12680 | |
(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP)))) |
Merge.kif 4608-4613 |
|