(=>
(instance ?DECISION LegalDecision)
(exists (?ACTION)
(and
(instance ?ACTION LegalAction)
(refers ?DECISION ?ACTION)))) |
Merge.kif 11041-11046 |
If X is an instance of legal decision, then there exists Y such that Y is an instance of legal action and X includes a reference to Y |
(=>
(instance ?COMMUNICATE Communication)
(exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2)
(and
(refers ?PHYS ?ENTITY)
(patient ?COMMUNICATE ?PHYS)
(instance ?AGENT1 CognitiveAgent)
(agent ?COMMUNICATE ?AGENT1)
(instance ?AGENT2 CognitiveAgent)
(destination ?COMMUNICATE ?AGENT2)))) |
Merge.kif 13343-13352 |
If X is an instance of communication, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y includes a reference to Z (3) Y is a patient of X (4) W is an instance of cognitive agent (5) W is an agent of X (6) V is an instance of cognitive agent (7) X ends up at V |
(=>
(instance ?ADVERT Advertising)
(exists (?OBJ)
(and
(refers ?ADVERT ?OBJ)
(hasPurpose ?ADVERT
(exists (?SALE)
(and
(instance ?SALE Selling)
(patient ?SALE ?OBJ))))))) |
Merge.kif 13400-13405 |
If X is an instance of advertising, then there exists Y such that X includes a reference to Y, X has the purpose there exists Z such that Z is an instance of selling, and Y is a patient of Z |
(=>
(instance ?ANSWER Answering)
(exists (?QUESTION)
(and
(instance ?QUESTION Questioning)
(refers ?ANSWER ?QUESTION)
(earlier
(WhenFn ?QUESTION)
(WhenFn ?ANSWER))))) |
Mid-level-ontology.kif 888-894 |
If X is an instance of answering, then there exists Y such that Y is an instance of questioning, X includes a reference to Y, and the time of existence of Y happens earlier than the time of existence of X |
(=>
(instance ?P Prescription)
(exists (?M)
(and
(instance ?M Medicine)
(refers ?P ?M)))) |
Mid-level-ontology.kif 10776-10781 |
If X is an instance of prescription, then there exists Y such that Y is an instance of medicine and X includes a reference to Y |
(=>
(attribute ?X USPrescriptionDrug)
(modalAttribute
(exists (?B)
(and
(instance ?B Buying)
(objectTransferred ?B ?X)
(not
(exists (?P)
(and
(instance ?P Prescription)
(refers ?P ?X)))))) Illegal)) |
Mid-level-ontology.kif 10801-10813 |
If prescription drug is an attribute of X, then the statement there exists Y such that Y is an instance of buying, the object transferred in Y is X, there doesn't exist Z such that Z is an instance of prescription, and Z includes a reference to X has the modal force of illegal |
(=>
(attribute ?X USNonPrescriptionDrug)
(modalAttribute
(exists (?B)
(and
(instance ?B Buying)
(objectTransferred ?B ?X)
(not
(exists (?P)
(and
(instance ?P Prescription)
(refers ?P ?X)))))) Legal)) |
Mid-level-ontology.kif 10823-10835 |
If OTC drug is an attribute of X, then the statement there exists Y such that Y is an instance of buying, the object transferred in Y is X, there doesn't exist Z such that Z is an instance of prescription, and Z includes a reference to X has the modal force of legal |
(=>
(instance ?C Congratulating)
(exists (?P ?A ?D)
(and
(destination ?C ?D)
(agent ?P ?D)
(agent ?C ?A)
(wants ?A ?P)
(refers ?C ?P)))) |
Mid-level-ontology.kif 14605-14613 |
If X is an instance of congratulating, then there exist Y, Z, W such that X ends up at W, W is an agent of Y, Z is an agent of X, Z wants Y, and X includes a reference to Y |
(=>
(instance ?CHART Chart)
(exists (?QUANTITY)
(and
(instance ?QUANTITY PhysicalQuantity)
(refers ?CHART ?QUANTITY)))) |
Mid-level-ontology.kif 14808-14813 |
If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y |
(=>
(instance ?F NationalFlag)
(exists (?N)
(and
(instance ?N Nation)
(refers ?F ?N)))) |
Mid-level-ontology.kif 14830-14835 |
If X is an instance of national flag, then there exists Y such that Y is an instance of nation and X includes a reference to Y |
(=>
(instance ?G Chart)
(exists (?Q)
(and
(instance ?Q PhysicalQuantity)
(refers ?G ?Q)))) |
Mid-level-ontology.kif 14837-14842 |
If X is an instance of chart, then there exists Y such that Y is an instance of physical quantity and X includes a reference to Y |
(=>
(instance ?LABEL Label)
(exists (?OBJ)
(and
(instance ?OBJ SelfConnectedObject)
(connected ?LABEL ?OBJ)
(refers ?LABEL ?OBJ)))) |
Mid-level-ontology.kif 16082-16088 |
If X is an instance of label, then there exists Y such that Y is an instance of self connected object, X is connected to Y, and X includes a reference to Y |
(=>
(instance ?A Announcement)
(exists (?CD ?I)
(and
(instance ?CD ContentDevelopment)
(result ?CD ?A)
(refers ?A ?I)
(instance ?I SocialInteraction)
(earlier
(WhenFn ?CD)
(WhenFn ?I))))) |
Mid-level-ontology.kif 16128-16138 |
If X is an instance of announcement, then there exist Y, Z such that Y is an instance of content development, X is a result of Y, X includes a reference to Z, Z is an instance of social interaction, and the time of existence of Y happens earlier than the time of existence of Z |
(=>
(instance ?C HolidayCard)
(exists (?H)
(and
(instance ?H Holiday)
(refers ?C ?H)))) |
Mid-level-ontology.kif 16482-16487 |
If X is an instance of holiday card, then there exists Y such that Y is an instance of holiday and X includes a reference to Y |
(=>
(instance ?B Biography)
(exists (?H)
(and
(instance ?H Human)
(refers ?B ?H)))) |
Mid-level-ontology.kif 16506-16511 |
If X is an instance of biography, then there exists Y such that Y is an instance of human and X includes a reference to Y |
(=>
(instance ?S MysteryStory)
(exists (?C)
(and
(instance ?C CriminalAction)
(refers ?S ?C)))) |
Mid-level-ontology.kif 16541-16546 |
If X is an instance of mystery story, then there exists Y such that Y is an instance of criminal action and X includes a reference to Y |
(=>
(and
(instance ?COMMENTING Commenting)
(instance ?PROCESS Process)
(patient ?COMMENTING ?PROCESS))
(exists (?AGENT ?SPEAKING ?LOOKING)
(and
(instance ?AGENT AutonomousAgent)
(instance ?SPEAKING Speaking)
(instance ?LOOKING Looking)
(agent ?SPEAKING ?AGENT)
(agent ?LOOKING ?AGENT)
(patient ?LOOKING ?PROCESS)
(refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 17498-17511 |
If X is an instance of commenting, Y is an instance of process, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of agent (3) W is an instance of speaking (4) V is an instance of looking (5) Z is an agent of W (6) Z is an agent of V (7) Y is a patient of V (8) W includes a reference to Y |
(=>
(instance ?F Funeral)
(exists (?D)
(and
(instance ?D Death)
(refers ?F ?D)))) |
Mid-level-ontology.kif 17615-17620 |
If X is an instance of funeral, then there exists Y such that Y is an instance of death and X includes a reference to Y |
(=>
(instance ?P Pleading)
(exists (?C)
(and
(instance ?C CriminalAction)
(refers ?P ?C)))) |
Mid-level-ontology.kif 17743-17748 |
If X is an instance of pleading, then there exists Y such that Y is an instance of criminal action and X includes a reference to Y |
(=>
(instance ?CALL GameCall)
(exists (?GAME)
(and
(instance ?GAME Game)
(refers ?CALL ?GAME)))) |
Mid-level-ontology.kif 17914-17919 |
If X is an instance of game call, then there exists Y such that Y is an instance of game and X includes a reference to Y |
(=>
(instance ?T Testament)
(exists (?B)
(and
(instance ?B Bequeathing)
(refers ?T ?B)))) |
Mid-level-ontology.kif 18209-18214 |
If X is an instance of testament, then there exists Y such that Y is an instance of bequeathing and X includes a reference to Y |
(=>
(and
(instance ?AS ArtSchool)
(instance ?P EducationalProcess)
(eventLocated ?P ?AS))
(exists (?M ?ART)
(and
(instance ?M Making)
(patient ?M ?ART)
(instance ?ART ArtWork)
(refers ?P ?M)))) |
Mid-level-ontology.kif 18380-18390 |
If X is an instance of art school, Y is an instance of educational process, and Y is located at X, then there exist Z, W such that Z is an instance of making, W is a patient of Z, W is an instance of art work, and Y includes a reference to Z |
(=>
(and
(instance ?W SickLeave)
(agent ?W ?PERSON))
(exists (?S)
(and
(instance ?S DiseaseOrSyndrome)
(refers ?W ?S)))) |
Mid-level-ontology.kif 22701-22708 |
If X is an instance of sick leave and Y is an agent of X, then there exists Z such that Z is an instance of disease or syndrome and X includes a reference to Z |
(=>
(attribute ?H NewsReporter)
(hasPurpose ?H
(exists (?EV ?T ?NEWS)
(and
(instance ?EV Process)
(overlapsTemporally
(WhenFn ?EV)
(WhenFn ?H))
(instance ?T ?NEWS)
(or
(subclass ?NEWS Newspaper)
(subclass ?NEWS NewsProgram))
(authors ?H ?NEWS)
(refers ?T ?EV))))) |
Mid-level-ontology.kif 23308-23322 |
If news reporter is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of process (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of newspaper or W is a subclass of newsprogram (6) X is the author of W (7) Z includes a reference to Y |
(=>
(attribute ?H ArtCritic)
(hasPurpose ?H
(exists (?AW ?T ?CLASS)
(and
(instance ?AW ArtWork)
(overlapsTemporally
(WhenFn ?AW)
(WhenFn ?H))
(instance ?T ?CLASS)
(subclass ?CLASS Article)
(authors ?H ?CLASS)
(refers ?T ?AW))))) |
Mid-level-ontology.kif 23331-23343 |
If art critic is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of art work (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of article (6) X is the author of W (7) Z includes a reference to Y |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
refers