(=>
(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 4480-4487 |
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 |
(=>
(and
(instance ?EVENT Planning)
(result ?EVENT ?CBO)
(instance ?CBO ContentBearingObject))
(exists (?PLAN)
(and
(instance ?PLAN Plan)
(containsInformation ?CBO ?PLAN)))) |
Merge.kif 10998-11006 |
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 11021-11028 |
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 16999-17007 |
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 ?EVENT OperationPlanning)
(result ?EVENT ?CBO)
(instance ?CBO ContentBearingObject)
(containsInformation ?CBO ?INFO))
(instance ?INFO OperationPlan)) |
MilitaryProcesses.kif 1546-1552 |
If X is an instance of operation planning, Y is a result of X, Y is an instance of content bearing object, and Y contains information Z, then Z is an instance of operation plan |
(=>
(and
(instance ?PLAN OperationPlan)
(containsInformation ?CBO ?PLAN)
(instance ?CBO ContentBearingObject)
(result ?EVENT ?CBO))
(instance ?EVENT OperationPlanning)) |
MilitaryProcesses.kif 1554-1560 |
If X is an instance of operation plan, Y contains information X, Y is an instance of content bearing object, and Y is a result of Z, then Z is an instance of operation planning |
(=>
(and
(instance ?PLAN OperationPlan)
(instance ?CBO ContentBearingObject)
(containsInformation ?CBO ?PLAN)
(instance ?OP MilitaryOperation)
(result ?OP ?CBO))
(represents ?PLAN ?OP)) |
MilitaryProcesses.kif 1592-1599 |
If X is an instance of operation plan, Y is an instance of content bearing object, Y contains information X, Z is an instance of military operation, and Y is a result of Z, then X expresses Z |
(=>
(and
(instance ?PLANNING JointOperationPlanning)
(result ?PLANNING ?CBO)
(instance ?CBO ContentBearingObject)
(containsInformation ?CBO ?INFO))
(instance ?INFO OPLAN)) |
MilitaryProcesses.kif 1831-1837 |
If X is an instance of joint operation planning, Y is a result of X, Y is an instance of content bearing object, and Y contains information Z, then Z is an instance of OPLAN |
(=>
(instance ?CBO ContentBearingObject)
(exists (?PROP)
(and
(instance ?PROP Proposition)
(containsInformation ?CBO ?PROP)))) |
TravelPolicies.kif 95-100 |
If X is an instance of content bearing object, then there exists Y such that Y is an instance of proposition and X contains information Y |
(=>
(and
(instance ?PROP Proposition)
(instance ?CBO ContentBearingObject)
(containsInformation ?CBO ?PROP)
(instance ?ER ExpenseReport)
(patient ?ER ?CBO))
(represents ?ER ?PROP)) |
TravelPolicies.kif 624-631 |
If X is an instance of proposition, Y is an instance of content bearing object, Y contains information X, Z is an instance of ExpenseReport, and Y is a patient of Z, then Z expresses X |
