CommunicationSystem |
appearance as argument number 1 |
(documentation CommunicationSystem EnglishLanguage "CommunicationSystem is a complex system with various components, enabling communication (in some medium) between points in a specific area, whether local or worldwide.") | Mid-level-ontology.kif 7647-7649 | |
(subclass CommunicationSystem Collection) | Mid-level-ontology.kif 7646-7646 |
appearance as argument number 2 |
consequent |
(=> (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER) (equal ?INTEGER (CardinalityFn (KappaFn ?SATELLITE (and (instance ?SATELLITE ?SATELLITETYPE) (instance ?SYSTEM CommunicationSystem) (located ?SYSTEM ?AREA) (engineeringSubcomponent ?SATELLITE ?SYSTEM)))))) |
Communications.kif 142-151 | |
(=> (instance ?CO CommunicationOrganization) (exists (?CS ?C) (and (instance ?C Communication) (instance ?CS CommunicationSystem) (instrument ?C ?CS) (agent ?C ?CO)))) |
Mid-level-ontology.kif 7612-7619 | |
(=> (instance ?SAT CommunicationSatellite) (exists (?SYSTEM) (and (instance ?SYSTEM CommunicationSystem) (engineeringSubcomponent ?SAT ?SYSTEM)))) |
Communications.kif 125-130 |