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 22879-22883
(domain telecomCode2 1 SymbolicString) Mid-level-ontology.kif 22877-22877
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 22878-22878
(instance telecomCode2 AsymmetricRelation) Mid-level-ontology.kif 22876-22876
(instance telecomCode2 BinaryPredicate) Mid-level-ontology.kif 22875-22875
(subrelation telecomCode2 subString) Mid-level-ontology.kif 22884-22884

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


(format ChineseLanguage telecomCode2 "secondary code 在 %2 是 %1 ") domainEnglishFormat.kif 4755-4755
(format ChineseTraditionalLanguage telecomCode2 "secondary code 在 %2 是 %1 ") domainEnglishFormat.kif 4754-4754
(format EnglishLanguage telecomCode2 "the secondary code in %2 is %1") domainEnglishFormat.kif 4753-4753

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


(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?C2 ?WHOLE))
Mid-level-ontology.kif 22924-22928
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))
Mid-level-ontology.kif 22930-22934


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