| 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 26358-26359 | |
| (subclass PublicAddressSystem CommunicationSystem) | Mid-level-ontology.kif 26357-26357 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PublicAddressSystem "public address system") | Mid-level-ontology.kif 26360-26360 |
| antecedent |
|
|
| (=> (instance ?X PublicAddressSystem) (and (memberType ?X Microphone) (memberType ?X SpeakerDevice))) |
Mid-level-ontology.kif 26362-26366 | |
| (=> (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 26368-26386 |
|
|
|