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 24275-24281
(domain telecomCountryCode 1 SymbolicString) Mid-level-ontology.kif 24273-24273 The number 1 argument of telecomCountryCode is an instance of symbolic string
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 24274-24274 The number 2 argument of telecomCountryCode is an instance of TelecomNumber
(instance telecomCountryCode AsymmetricRelation) Mid-level-ontology.kif 24272-24272 telecomCountryCode is an instance of asymmetric relation
(instance telecomCountryCode BinaryPredicate) Mid-level-ontology.kif 24271-24271 telecomCountryCode is an instance of binary predicate
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 24282-24282 telecomCountryCode is a subrelation of subString

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


(format ChineseLanguage telecomCountryCode "%1 是 country code 在 %2 ") domainEnglishFormat.kif 4767-4767
(format ChineseTraditionalLanguage telecomCountryCode "%1 是 country code 在 %2 ") domainEnglishFormat.kif 4766-4766
(format EnglishLanguage telecomCountryCode "%1 is the country code in %2") domainEnglishFormat.kif 4765-4765

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


(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))
Mid-level-ontology.kif 24333-24337
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))
Mid-level-ontology.kif 24351-24355
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))
Mid-level-ontology.kif 24327-24331


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