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 26603-26608
(domain telecomExtension 1 SymbolicString) Mid-level-ontology.kif 26601-26601 The number 1 argument of telecom extension is an instance of symbolic string
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 26602-26602 The number 2 argument of telecom extension is an instance of telecom number
(instance telecomExtension AsymmetricRelation) Mid-level-ontology.kif 26600-26600 telecom extension is an instance of asymmetric relation
(instance telecomExtension BinaryPredicate) Mid-level-ontology.kif 26599-26599 telecom extension is an instance of binary predicate

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


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

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


(=>
    (and
        (telecomCoreNumber ?CN ?WHOLE)
        (telecomExtension ?EX ?WHOLE))
    (precedesInString ?CN ?EX ?WHOLE))
Mid-level-ontology.kif 26628-26632


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