Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - telecomCode2
telecomCode2

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


(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 26592-26596
(domain telecomCode2 1 SymbolicString) Mid-level-ontology.kif 26590-26590 The number 1 argument of telecom code2 is an instance of symbolic string
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 26591-26591 The number 2 argument of telecom code2 is an instance of telecom number
(instance telecomCode2 AsymmetricRelation) Mid-level-ontology.kif 26589-26589 telecom code2 is an instance of asymmetric relation
(instance telecomCode2 BinaryPredicate) Mid-level-ontology.kif 26588-26588 telecom code2 is an instance of binary predicate
(subrelation telecomCode2 subString) Mid-level-ontology.kif 26597-26597 telecom code2 is a subrelation of sub string

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


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

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


(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?C2 ?WHOLE))
Mid-level-ontology.kif 26634-26638
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))
Mid-level-ontology.kif 26640-26644


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