| appearance as argument number 1 |
|
| (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 136-140 | |
| (domain communicationSatelliteForArea 1 GeopoliticalArea) | Communications.kif 133-133 | The number 1 argument of communication satellite for area is an instance of geopolitical area |
| (domain communicationSatelliteForArea 3 Integer) | Communications.kif 135-135 | The number 3 argument of communication satellite for area is an instance of integer |
| (domainSubclass communicationSatelliteForArea 2 Satellite) | Communications.kif 134-134 | The number 2 argument of communication satellite for area is a subclass of satellite |
| (instance communicationSatelliteForArea TernaryPredicate) | Communications.kif 132-132 | communication satellite for area is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage communicationSatelliteForArea "那 %n 有 %3 communiation %2 类型的卫星在 %1 ") | domainEnglishFormat.kif 492-492 | |
| (format ChineseTraditionalLanguage communicationSatelliteForArea "那 %n 有 %3 communiation %2 類型的衛星在 %1 ") | domainEnglishFormat.kif 491-491 | |
| (format EnglishLanguage communicationSatelliteForArea "there are %n %3 communiation satellite of type %2 in %1") | domainEnglishFormat.kif 490-490 | |
| (termFormat ChineseLanguage communicationSatelliteForArea "区域通信卫星") | domainEnglishFormat.kif 16060-16060 | |
| (termFormat ChineseTraditionalLanguage communicationSatelliteForArea "區域通信衛星") | domainEnglishFormat.kif 16059-16059 | |
| (termFormat EnglishLanguage communicationSatelliteForArea "communication satellite for area") | domainEnglishFormat.kif 16058-16058 |
| 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 142-151 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners