|
|
   PublicAddressSystem
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PublicAddressSystem EnglishLanguage "PublicAddressSystem refers to an electronic amplification system used as a communication system in public areas") | Mid-level-ontology.kif 26082-26083 | |
| (subclass PublicAddressSystem CommunicationSystem) | Mid-level-ontology.kif 26081-26081 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PublicAddressSystem "public address system") | Mid-level-ontology.kif 26084-26084 |
| antecedent |
|
|
| (=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice))) |
Mid-level-ontology.kif 26086-26090 | |
| (=> (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 26092-26110 |
|
|
|