(=>
(equal
(WhenFn ?PHYS1)
(WhenFn ?PHYS2))
(cooccur ?PHYS1 ?PHYS2)) |
Merge.kif 8604-8606 |
If equal the time of existence of X and the time of existence of Y, then X occurs at the same time as Y |
(<=>
(attribute ?MUSIC PolyphonicMusic)
(exists (?PART1 ?PART2)
(and
(instance ?MUSIC MakingMusic)
(instance ?PART1 MakingMusic)
(instance ?PART2 MakingMusic)
(subProcess ?PART1 ?MUSIC)
(subProcess ?PART2 ?MUSIC)
(not
(equal ?PART1 ?PART2))
(cooccur ?PART1 ?MUSIC)
(cooccur ?PART2 ?MUSIC)))) |
Mid-level-ontology.kif 734-745 |
All of the following hold: (1) polyphonic music is an attribute of X if (2) only if there exist Y (3) Z such that X is an instance of making music (4) Y is an instance of making music (5) Z is an instance of making music (6) Y is a subprocess of X (7) Z is a subprocess of X (8) equal Y (9) Z (10) Y occurs at the same time as X (11) Z occurs at the same time as X |
(=>
(and
(instance ?O OpeningBothEyes)
(patient ?O ?E)
(instance ?E BothEyes))
(exists (?L ?R ?A ?B)
(and
(member ?L ?E)
(member ?R ?E)
(instance ?A OpeningEye)
(instance ?B OpeningEye)
(subProcess ?A ?O)
(subProcess ?B ?O)
(patient ?A ?L)
(patient ?B ?R)
(not
(equal ?A ?B))
(cooccur ?A ?B)))) |
Mid-level-ontology.kif 21979-21996 |
If X is an instance of OpeningBothEyes, Y is a patient of X, and Y is an instance of both eyes, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a member of Y (3) W is a member of Y (4) V is an instance of opening eye (5) U is an instance of opening eye (6) V is a subprocess of X (7) U is a subprocess of X (8) Z is a patient of V (9) W is a patient of U (10) equal V (11) U (12) V occurs at the same time as U |
(=>
(and
(instance ?C ClosingBothEyes)
(patient ?C ?E)
(instance ?E BothEyes))
(exists (?L ?R ?A ?B)
(and
(member ?L ?E)
(member ?R ?E)
(instance ?A ClosingEye)
(instance ?B ClosingEye)
(subProcess ?A ?C)
(subProcess ?B ?C)
(patient ?A ?L)
(patient ?B ?R)
(not
(equal ?A ?B))
(cooccur ?A ?B)))) |
Mid-level-ontology.kif 22003-22020 |
If X is an instance of ClosingBothEyes, Y is a patient of X, and Y is an instance of both eyes, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a member of Y (3) W is a member of Y (4) V is an instance of closing eye (5) U is an instance of closing eye (6) V is a subprocess of X (7) U is a subprocess of X (8) Z is a patient of V (9) W is a patient of U (10) equal V (11) U (12) V occurs at the same time as U |
(=>
(instance ?DISCO DanceHall)
(hasPurpose ?DISCO
(exists (?DANCE ?MUSIC)
(and
(instance ?MUSIC MakingMusic)
(instance ?DANCE Dancing)
(cooccur ?MUSIC ?DANCE)
(eventLocated ?MUSIC ?DISCO)
(eventLocated ?DANCE ?DISCO))))) |
Mid-level-ontology.kif 29455-29464 |
If X is an instance of dance hall, then X has the purpose there exist Y, Z such that Z is an instance of making music, Y is an instance of dancing, Z occurs at the same time as Y, Z is located at X, and Y is located at X |
(=>
(and
(instance ?A AESAAntenna)
(part ?C ?A)
(instance ?C CollectionOfObjects)
(memberType ?C ?CLASS)
(subclass ?CLASS CommunicationDevice))
(exists (?R1 ?D1 ?R2 ?D2)
(and
(instance ?R1 RadioEmission)
(origin ?R1 ?D1)
(instance ?D1 ?CLASS)
(instance ?R2 RadioEmission)
(origin ?R2 ?D2)
(instance ?D2 ?CLASS)
(not
(equal ?D1 ?D2))
(not
(equal ?R1 ?R2))
(cooccur ?R1 ?R2)))) |
Transportation.kif 5491-5510 |
If X is an instance of active eletronically scanned array antenna, Y is a part of X, Y is an instance of collection, Z is a member type of Y, and Z is a subclass of communication device, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of radio emission (3) W originates at V (4) V is an instance of Z (5) U is an instance of radio emission (6) U originates at T (7) T is an instance of Z (8) equal V (9) T (10) equal W (11) U (12) W occurs at the same time as U |
cooccur