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

Formal Language: 



KB Term:  Term intersection
English Word: 

  telecomCode2

 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 24930-24934
(domain telecomCode2 1 SymbolicString) Mid-level-ontology.kif 24928-24928 O argumento numero 1 de telecomCode2 e' uma instancia de Sequencia Simbolica
(domain telecomCode2 2 TelecomNumber) Mid-level-ontology.kif 24929-24929 O argumento numero 2 de telecomCode2 e' uma instancia de TelecomNumber
(instance telecomCode2 AsymmetricRelation) Mid-level-ontology.kif 24927-24927 telecomCode2 e' uma instancia de Relacao Assimetrica
(instance telecomCode2 BinaryPredicate) Mid-level-ontology.kif 24926-24926 telecomCode2 e' uma instancia de Predicado Binario
(subrelation telecomCode2 subString) Mid-level-ontology.kif 24935-24935 telecomCode2 e' uma sub-relacao de subString

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


(format ChineseLanguage telecomCode2 "secondary code 在 %2 是 %1 ") domainEnglishFormat.kif 4746-4746
(format ChineseTraditionalLanguage telecomCode2 "secondary code 在 %2 是 %1 ") domainEnglishFormat.kif 4745-4745
(format EnglishLanguage telecomCode2 "the secondary code in %2 is %1") domainEnglishFormat.kif 4744-4744
(termFormat EnglishLanguage telecomCode2 "telecom code2") domainEnglishFormat.kif 65952-65952

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


(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?C2 ?WHOLE))		 Mid-level-ontology.kif 24972-24976
(=>
    (and
        (telecomCode2 ?C2 ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?C2 ?WHOLE))		 Mid-level-ontology.kif 24978-24982


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 is open source software produced by Articulate Software and its partners