Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CommunicationOrganization
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CommunicationOrganization Organization) | Mid-level-ontology.kif 8899-8899 | Communication organization is a subclass of organization |
| (documentation CommunicationOrganization EnglishLanguage "CommunicationOrganization is the subclass of Organizations that manage Communications over physical infrastructure owned or leased by the organization. Such organizations may also produce and disseminate information, entertainment, or other content. Also see MediaOrganization.") | Mid-level-ontology.kif 8900-8904 | Communication organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CO CommunicationOrganization) (exists (?CS ?C) (and (instance ?C Communication) (instance ?CS CommunicationSystem) (instrument ?C ?CS) (agent ?C ?CO)))) |
Mid-level-ontology.kif 8906-8913 | If X is an instance of communication organization, then there exist Y, Z such that Z is an instance of communication, Y is an instance of communication system, Y is an instrument for Z, and X is an agent of Z |
|