(=>
(instance ?X PublicAddressSystem)
(hasPurpose ?X
(exists (?RS ?AREA ?GRP)
(and
(instance ?AREA LandArea)
(located ?X ?AREA)
(instance ?GRP GroupOfPeople)
(located ?GRP ?AREA)
(instance ?RS RadiatingSound)
(instrument ?RS ?X)
(forall (?PERSON)
(=>
(member ?PERSON ?GRP)
(exists (?HEAR)
(and
(instance ?HEAR Hearing)
(patient ?HEAR ?RS)
(agent ?HEAR ?PERSON))))))))) |
Mid-level-ontology.kif 28674-28692 |
If X is an instance of public address system, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of land area (3) X is located at Z (4) W is an instance of group of people (5) W is located at Z (6) Y is an instance of radiating sound (7) X is an instrument for Y (8) V V is a member of Wthere exists U such that U is an instance of hearing (9) Y is a patient of U (10) V is an agent of U |
