|
|
   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 26127-26128 | |
| (subclass PublicAddressSystem CommunicationSystem) | Mid-level-ontology.kif 26126-26126 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PublicAddressSystem "public address system") | Mid-level-ontology.kif 26129-26129 |
| antecedent |
|
|
| (=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice))) |
Mid-level-ontology.kif 26131-26135 | |
| (=> (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 26137-26155 |
|
|
|