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


KB Term:  Term intersection
English Word: 

Sigma KEE - telecomCountryCode
telecomCountryCode

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


(instance telecomCountryCode BinaryPredicate) Mid-level-ontology.kif 27180-27180 telecom country code is an instance of binary predicate
(instance telecomCountryCode AsymmetricRelation) Mid-level-ontology.kif 27181-27181 telecom country code is an instance of asymmetric relation
(domain telecomCountryCode 1 SymbolicString) Mid-level-ontology.kif 27182-27182 The number 1 argument of telecom country code is an instance of symbolic string
(domain telecomCountryCode 2 TelecomNumber) Mid-level-ontology.kif 27183-27183 The number 2 argument of telecom country code is an instance of telecom number
(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 27184-27190 The number 2 argument of telecom country code is an instance of telecom number
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 27191-27191 telecom country code is a subrelation of sub string

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


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

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


(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 27236-27240 If X is the core number in Y and Z is the country code in Y, then Z precedes X in Y
(=>
    (and
        (telecomAreaCode ?AC ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?AC ?WHOLE))		 Mid-level-ontology.kif 27242-27246 If the area code in X is Y and Z is the country code in X, then Z precedes Y in X
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 27260-27264 If the secondary code in X is Y and Z is the country code in X, then Z precedes Y in X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners