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

Formal Language: 



KB Term:  Term intersection
English Word: 

  telecomCoreNumber

 Sigma KEE - telecomCoreNumber
telecomCoreNumber

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


(documentation telecomCoreNumber EnglishLanguage "(telecomCoreNumber ?SymbolicString ?TelecomNumber) means that ?SymbolicString is the part of a TelecomNumber that identifies an individual subscriber line, not including the area code and any possible extensions.") Mid-level-ontology.kif 24892-24896
(domain telecomCoreNumber 1 SymbolicString) Mid-level-ontology.kif 24889-24889 O argumento numero 1 de telecomCoreNumber e' uma instancia de Sequencia Simbolica
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 24890-24890 O argumento numero 2 de telecomCoreNumber e' uma instancia de TelecomNumber
(instance telecomCoreNumber AsymmetricRelation) Mid-level-ontology.kif 24888-24888 telecomCoreNumber e' uma instancia de Relacao Assimetrica
(instance telecomCoreNumber BinaryPredicate) Mid-level-ontology.kif 24887-24887 telecomCoreNumber e' uma instancia de Predicado Binario
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 24891-24891 telecomCoreNumber e' uma sub-relacao de subString

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


(format ChineseLanguage telecomCoreNumber "%1 是 core number 在 %2 ") domainEnglishFormat.kif 4754-4754
(format ChineseTraditionalLanguage telecomCoreNumber "%1 是 core number 在 %2 ") domainEnglishFormat.kif 4753-4753
(format EnglishLanguage telecomCoreNumber "%1 is the core number in %2") domainEnglishFormat.kif 4752-4752
(termFormat EnglishLanguage telecomCoreNumber "telecom core number") domainEnglishFormat.kif 65954-65954

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


(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))		 Mid-level-ontology.kif 24948-24952
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 24954-24958
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))		 Mid-level-ontology.kif 24966-24970


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