(=>
(and
(instance ?EVENT Planning)
(result ?EVENT ?CBO)
(instance ?CBO ContentBearingObject))
(exists (?PLAN)
(and
(instance ?PLAN Plan)
(containsInformation ?CBO ?PLAN)))) |
Merge.kif 11087-11095 |
If X is an instance of planning, Y is a result of X, and Y is an instance of content bearing object, then there exists Z such that Z is an instance of plan and Y contains information Z |
(=>
(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 11110-11122 |
If X is an instance of interpreting, Y is an agent of X, Z is a patient of X, and Z is an instance of content bearing object, then there exists W such that Y believes Z contains information W holds during the end of the time of existence of X |
(=>
(and
(instance ?PLAN Plan)
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PLAN))
(exists (?PLANNING)
(and
(instance ?PLANNING Planning)
(result ?PLANNING ?OBJ)))) |
Merge.kif 17155-17163 |
If X is an instance of plan, Y is an instance of content bearing object, and Y contains information X, then there exists Z such that Z is an instance of planning and Y is a result of Z |
(=>
(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 |
If X is an instance of content bearing object and braille is an attribute of X, then there exists Y such that Y is an instance of human, blindness is an attribute of Y, Y is capable of doing interpreting as a agent, and X is capable of doing interpreting as a patient |
(=>
(and
(instance ?PROP Proposition)
(instance ?CBO ContentBearingObject)
(containsInformation ?CBO ?PROP)
(instance ?COMM Communication)
(patient ?COMM ?CBO))
(represents ?COMM ?PROP)) |
Geography.kif 4457-4464 |
If X is an instance of proposition, Y is an instance of content bearing object, Y contains information X, Z is an instance of communication, and Y is a patient of Z, then Z expresses X |
