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 24941-24946
(domain telecomExtension 1 SymbolicString) Mid-level-ontology.kif 24939-24939
(domain telecomExtension 2 TelecomNumber) Mid-level-ontology.kif 24940-24940
(instance telecomExtension AsymmetricRelation) Mid-level-ontology.kif 24938-24938
(instance telecomExtension BinaryPredicate) Mid-level-ontology.kif 24937-24937

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


(format ChineseLanguage telecomExtension "%1 是 extension 在 %2 ") domainEnglishFormat.kif 4762-4762
(format ChineseTraditionalLanguage telecomExtension "%1 是 extension 在 %2 ") domainEnglishFormat.kif 4761-4761
(format EnglishLanguage telecomExtension "%1 is the extension in %2") domainEnglishFormat.kif 4760-4760
(termFormat EnglishLanguage telecomExtension "telecom extension") domainEnglishFormat.kif 65956-65956

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


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


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