WrittenCommunication(written communication)
more pictures... | drop_a_line, write |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?W WrittenCommunication) (exists (?T ?C ?S) (and (result ?W ?T) (instance ?T Text) (part ?C ?T) (instance ?C Character) (instance ?S Script) (member ?C ?S)))) |
Mid-level-ontology.kif 675-684 | If X is an instance of written communication, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a result of X (3) Y is an instance of text (4) Z is a part of Y (5) Z is an instance of character (6) W is an instance of script (7) Z is a member of W |
| consequent |
|
|
| (=> (attribute ?PERSON Writer) (hasSkill WrittenCommunication ?PERSON)) |
Biography.kif 728-730 | If writer is an attribute of X, then X has the skill to do written communication |
| (=> (instance ?IM IMessage) (hasPurpose ?IM (exists (?C) (and (instance ?C WrittenCommunication) (instrument ?C ?IM))))) |
ComputingBrands.kif 3280-3286 | If X is an instance of i_message, then X has the purpose there exists Y such that Y is an instance of written communication and X is an instrument for Y |
|
|