Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  telecomCountryCode

 Sigma KEE - telecomCountryCode
telecomCountryCode

appearance as argument number 1
-------------------------


(documentation telecomCountryCode EnglishLanguage "(telecomCountryCode ?SymbolicString TelecomNumber) means that ?SymbolicString is the part of ?TelecomNumber that identifies the Nation in which the device identified by ?TelecomNumber is located (or registered). ?SymbolicString will be standard code conforming to, and assigned by, ITU-T Recommendation E.164.") Mid-level-ontology.kif 25222-25228
(domain telecomCountryCode 1 SymbolicString) Mid-level-ontology.kif 25220-25220
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 25221-25221
(instance telecomCountryCode AsymmetricRelation) Mid-level-ontology.kif 25219-25219
(instance telecomCountryCode BinaryPredicate) Mid-level-ontology.kif 25218-25218
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 25229-25229

appearance as argument number 2
-------------------------


(format ChineseLanguage telecomCountryCode "%1 是 country code 在 %2 ") domainEnglishFormat.kif 4758-4758
(format ChineseTraditionalLanguage telecomCountryCode "%1 是 country code 在 %2 ") domainEnglishFormat.kif 4757-4757
(format EnglishLanguage telecomCountryCode "%1 is the country code in %2") domainEnglishFormat.kif 4756-4756
(termFormat EnglishLanguage telecomCountryCode "telecom country code") domainEnglishFormat.kif 66015-66015

antecedent
-------------------------


(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))		 Mid-level-ontology.kif 25280-25284
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 25298-25302
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 25274-25278


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

Show without tree


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