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

Formal Language: 



KB Term:  Term intersection
English Word: 

  telecomExtension

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

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 24965-24969


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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