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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 25190-25196
(domain telecomCountryCode 1 SymbolicString) Mid-level-ontology.kif 25188-25188 The number 1 argument of telecom country code is an instance of symbolic string
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 25189-25189 The number 2 argument of telecom country code is an instance of telecom number
(instance telecomCountryCode AsymmetricRelation) Mid-level-ontology.kif 25187-25187 telecom country code is an instance of asymmetric relation
(instance telecomCountryCode BinaryPredicate) Mid-level-ontology.kif 25186-25186 telecom country code is an instance of binary predicate
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 25197-25197 telecom country code is a subrelation of sub string

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 66014-66014

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


(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))		 Mid-level-ontology.kif 25248-25252
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 25266-25270
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 25242-25246


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