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


KB Term:  Term intersection
English Word: 

Sigma KEE - telecomCode2
telecomCode2

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


(instance telecomCode2 BinaryPredicate) Mid-level-ontology.kif 27208-27208 telecom code2 is an instance of binary predicate
(instance telecomCode2 AsymmetricRelation) Mid-level-ontology.kif 27209-27209 telecom code2 is an instance of asymmetric relation
(domain telecomCode2 1 SymbolicString) Mid-level-ontology.kif 27210-27210 The number 1 argument of telecom code2 is an instance of symbolic string
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 27211-27211 The number 2 argument of telecom code2 is an instance of telecom number
(documentation telecomCode2 EnglishLanguage "(telecomCode2 ?SymbolicString ?TelecomNumber) means that ?SymbolicString is the second code (if there is one, such as a sub-area code) following the part of ?TelecomNumber denoted by telecomCountryCode.") Mid-level-ontology.kif 27212-27216 The number 2 argument of telecom code2 is an instance of telecom number
(subrelation telecomCode2 subString) Mid-level-ontology.kif 27217-27217 telecom code2 is a subrelation of sub string

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


(format EnglishLanguage telecomCode2 "the secondary code in %2 is %1") domainEnglishFormat.kif 4748-4748
(format ChineseTraditionalLanguage telecomCode2 "secondary code 在 %2 是 %1 ") domainEnglishFormat.kif 4749-4749
(format ChineseLanguage telecomCode2 "secondary code 在 %2 是 %1 ") domainEnglishFormat.kif 4750-4750
(termFormat EnglishLanguage telecomCode2 "telecom code2") domainEnglishFormat.kif 65988-65988

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


(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?C2 ?WHOLE))		 Mid-level-ontology.kif 27254-27258 If the secondary code in X is Y and the area code in X is Z, 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