TreeView Knowledge Base Browser - communicationSatelliteForArea

appearance as argument number 1

(instance communicationSatelliteForArea TernaryPredicate)	Communications.kif 113-113	communication satellite for area is an instance of ternary predicate
(domain communicationSatelliteForArea 1 GeopoliticalArea)	Communications.kif 114-114	The number 1 argument of communication satellite for area is an instance of geopolitical area
(domainSubclass communicationSatelliteForArea 2 Satellite)	Communications.kif 115-115	The number 2 argument of communication satellite for area is a subclass of satellite
(domain communicationSatelliteForArea 3 Integer)	Communications.kif 116-116	The number 3 argument of communication satellite for area is an instance of integer
(documentation communicationSatelliteForArea EnglishLanguage "The expression (communicationSatelliteForArea ?AREA ?SATELLITE ?INTEGER) means that ?INTEGER number of CommunicationSatellites of the type ?SATELLITE serve as an engineeringSubcomponent of a TelephoneSystem of the GeopoliticalArea ?AREA.")	Communications.kif 117-121	The number 3 argument of communication satellite for area is an instance of integer

appearance as argument number 2

(format EnglishLanguage communicationSatelliteForArea "there are %n %3 communiation satellite of type %2 in %1")	domainEnglishFormat.kif 490-490
(format ChineseTraditionalLanguage communicationSatelliteForArea "那 %n 有 %3 communiation %2 類型的衛星在 %1 ")	domainEnglishFormat.kif 491-491
(format ChineseLanguage communicationSatelliteForArea "那 %n 有 %3 communiation %2 类型的卫星在 %1 ")	domainEnglishFormat.kif 492-492
(termFormat EnglishLanguage communicationSatelliteForArea "communication satellite for area")	domainEnglishFormat.kif 16044-16044
(termFormat ChineseTraditionalLanguage communicationSatelliteForArea "區域通信衛星")	domainEnglishFormat.kif 16045-16045
(termFormat ChineseLanguage communicationSatelliteForArea "区域通信卫星")	domainEnglishFormat.kif 16046-16046

antecedent

(=>
    (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)
    (equal ?INTEGER
        (CardinalityFn
            (KappaFn ?SATELLITE
                (and
                    (instance ?SATELLITE ?SATELLITETYPE)
                    (instance ?SYSTEM CommunicationSystem)
                    (located ?SYSTEM ?AREA)
                    (engineeringSubcomponent ?SATELLITE ?SYSTEM))))))

Communications.kif 123-132

If there are X communiation satellite of type Y in Z, then equal X and the number of instances in the class described by W

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: