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 26556-26560
(domain telecomCoreNumber 1 SymbolicString) Mid-level-ontology.kif 26553-26553
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 26554-26554
(instance telecomCoreNumber AsymmetricRelation) Mid-level-ontology.kif 26552-26552
(instance telecomCoreNumber BinaryPredicate) Mid-level-ontology.kif 26551-26551
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 26555-26555

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


(format ChineseLanguage telecomCoreNumber "%1 是 core number 在 %2 ") domainEnglishFormat.kif 4758-4758
(format ChineseTraditionalLanguage telecomCoreNumber "%1 是 core number 在 %2 ") domainEnglishFormat.kif 4757-4757
(format EnglishLanguage telecomCoreNumber "%1 is the core number in %2") domainEnglishFormat.kif 4756-4756
(termFormat EnglishLanguage telecomCoreNumber "telecom core number") domainEnglishFormat.kif 65981-65981

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


(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))		 Mid-level-ontology.kif 26612-26616
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 26618-26622
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))		 Mid-level-ontology.kif 26630-26634


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