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 26555-26561
(domain telecomCountryCode 1 SymbolicString) Mid-level-ontology.kif 26553-26553 The number 1 argument of telecomCountryCode is an instance of symbolic string
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 26554-26554 The number 2 argument of telecomCountryCode is an instance of TelecomNumber
(instance telecomCountryCode AsymmetricRelation) Mid-level-ontology.kif 26552-26552 telecomCountryCode is an instance of asymmetric relation
(instance telecomCountryCode BinaryPredicate) Mid-level-ontology.kif 26551-26551 telecomCountryCode is an instance of binary predicate
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 26562-26562 telecomCountryCode is a subrelation of subString

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


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

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


(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))		 Mid-level-ontology.kif 26613-26617
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 26631-26635
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 26607-26611


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