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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - telecomExtension
telecomExtension

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


(documentation telecomExtension EnglishLanguage "(telecomExtension ?SymbolicString ?TelecomNumber) means that ?SymbolicString is a part of ?TelecomNumber that identifies a TelephonyDevice within a group of such Devices, the members of which share a local subscriber line.") Mid-level-ontology.kif 22859-22864
(domain telecomExtension 1 SymbolicString) Mid-level-ontology.kif 22857-22857 The number 1 argument of telecomExtension is an instance of symbolic string
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 22858-22858 The number 2 argument of telecomExtension is an instance of TelecomNumber
(instance telecomExtension AsymmetricRelation) Mid-level-ontology.kif 22856-22856 telecomExtension is an instance of asymmetric relation
(instance telecomExtension BinaryPredicate) Mid-level-ontology.kif 22855-22855 telecomExtension is an instance of binary predicate

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


(format ChineseLanguage telecomExtension "%1 是 extension 在 %2 ") domainEnglishFormat.kif 4767-4767
(format ChineseTraditionalLanguage telecomExtension "%1 是 extension 在 %2 ") domainEnglishFormat.kif 4766-4766
(format EnglishLanguage telecomExtension "%1 is the extension in %2") domainEnglishFormat.kif 4765-4765

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


(=>
    (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