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 22810-22814
(domain telecomCoreNumber 1 SymbolicString) Mid-level-ontology.kif 22807-22807 The number 1 argument of telecomCoreNumber is an instance of symbolic string
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 22808-22808 The number 2 argument of telecomCoreNumber is an instance of TelecomNumber
(instance telecomCoreNumber AsymmetricRelation) Mid-level-ontology.kif 22806-22806 telecomCoreNumber is an instance of asymmetric relation
(instance telecomCoreNumber BinaryPredicate) Mid-level-ontology.kif 22805-22805 telecomCoreNumber is an instance of binary predicate
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 22809-22809 telecomCoreNumber is a subrelation of subString

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


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

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


(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))
Mid-level-ontology.kif 22869-22873
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))
Mid-level-ontology.kif 22875-22879
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))
Mid-level-ontology.kif 22887-22891


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners