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 22820-22826
(domain telecomCountryCode 1 SymbolicString) Mid-level-ontology.kif 22818-22818 The number 1 argument of telecomCountryCode is an instance of symbolic string
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 22819-22819 The number 2 argument of telecomCountryCode is an instance of TelecomNumber
(instance telecomCountryCode AsymmetricRelation) Mid-level-ontology.kif 22817-22817 telecomCountryCode is an instance of asymmetric relation
(instance telecomCountryCode BinaryPredicate) Mid-level-ontology.kif 22816-22816 telecomCountryCode is an instance of binary predicate
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 22827-22827 telecomCountryCode is a subrelation of subString

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


(format ChineseLanguage telecomCountryCode "%1 是 country code 在 %2 ") domainEnglishFormat.kif 4763-4763
(format ChineseTraditionalLanguage telecomCountryCode "%1 是 country code 在 %2 ") domainEnglishFormat.kif 4762-4762
(format EnglishLanguage telecomCountryCode "%1 is the country code in %2") domainEnglishFormat.kif 4761-4761

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


(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))		 Mid-level-ontology.kif 22881-22885
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 22899-22903
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 22875-22879


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners