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


KB Term:  Term intersection
English Word: 

  Option

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