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 22884-22889
(domain telecomExtension 1 SymbolicString) Mid-level-ontology.kif 22882-22882 The number 1 argument of telecomExtension is an instance of symbolic string
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 22883-22883 The number 2 argument of telecomExtension is an instance of TelecomNumber
(instance telecomExtension AsymmetricRelation) Mid-level-ontology.kif 22881-22881 telecomExtension is an instance of asymmetric relation
(instance telecomExtension BinaryPredicate) Mid-level-ontology.kif 22880-22880 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 22912-22916


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 is open source software produced by Articulate Software and its partners