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


KB Term:  Term intersection
English Word: 

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