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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 26573-26577
(domain telecomCoreNumber 1 SymbolicString) Mid-level-ontology.kif 26570-26570 The number 1 argument of telecom core number is an instance of symbolic string
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 26571-26571 The number 2 argument of telecom core number is an instance of telecom number
(instance telecomCoreNumber AsymmetricRelation) Mid-level-ontology.kif 26569-26569 telecom core number is an instance of asymmetric relation
(instance telecomCoreNumber BinaryPredicate) Mid-level-ontology.kif 26568-26568 telecom core number is an instance of binary predicate
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 26572-26572 telecom core number is a subrelation of sub string

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 66012-66012

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


(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))		 Mid-level-ontology.kif 26629-26633
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 26635-26639
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))		 Mid-level-ontology.kif 26647-26651


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