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 24265-24269
(domain telecomCoreNumber 1 SymbolicString) Mid-level-ontology.kif 24262-24262 The number 1 argument of telecomCoreNumber is an instance of symbolic string
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 24263-24263 The number 2 argument of telecomCoreNumber is an instance of TelecomNumber
(instance telecomCoreNumber AsymmetricRelation) Mid-level-ontology.kif 24261-24261 telecomCoreNumber is an instance of asymmetric relation
(instance telecomCoreNumber BinaryPredicate) Mid-level-ontology.kif 24260-24260 telecomCoreNumber is an instance of binary predicate
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 24264-24264 telecomCoreNumber is a subrelation of subString

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


(format ChineseLanguage telecomCoreNumber "%1 是 core number 在 %2 ") domainEnglishFormat.kif 4763-4763
(format ChineseTraditionalLanguage telecomCoreNumber "%1 是 core number 在 %2 ") domainEnglishFormat.kif 4762-4762
(format EnglishLanguage telecomCoreNumber "%1 is the core number in %2") domainEnglishFormat.kif 4761-4761

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


(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))
Mid-level-ontology.kif 24321-24325
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))
Mid-level-ontology.kif 24327-24331
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))
Mid-level-ontology.kif 24339-24343


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