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


KB Term:  Term intersection
English Word: 

  telecomCoreNumber

 Sigma KEE - telecomCoreNumber
telecomCoreNumber

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


(instance telecomCoreNumber BinaryPredicate) Mid-level-ontology.kif 27169-27169 telecom core number is an instance of binary predicate
(instance telecomCoreNumber AsymmetricRelation) Mid-level-ontology.kif 27170-27170 telecom core number is an instance of asymmetric relation
(domain telecomCoreNumber 1 SymbolicString) Mid-level-ontology.kif 27171-27171 The number 1 argument of telecom core number is an instance of symbolic string
(domain telecomCoreNumber 2 TelecomNumber) Mid-level-ontology.kif 27172-27172 The number 2 argument of telecom core number is an instance of telecom number
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 27173-27173 telecom core number is a subrelation of sub string
(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 27174-27178 telecom core number is a subrelation of sub string

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


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

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


(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomAreaCode ?AC ?WHOLE))
    (precedesInString ?AC ?CN ?WHOLE))		 Mid-level-ontology.kif 27230-27234 If X is the core number in Y and the area code in Y is Z, then Z precedes X in Y
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomCountryCode ?CC ?WHOLE))
    (precedesInString ?CC ?CN ?WHOLE))		 Mid-level-ontology.kif 27236-27240 If X is the core number in Y and Z is the country code in Y, then Z precedes X in Y
(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))		 Mid-level-ontology.kif 27248-27252 If X is the core number in Y and Z is the extension in Y, then X precedes Z in Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners