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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - telephoneNumber
telephoneNumber

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


(documentation telephoneNumber EnglishLanguage "(%&telephoneNumber ?NUMBER ?AGENT) means that ?Agent identifies a TelecomeNumber at which ?Agent can be contacted") Mid-level-ontology.kif 22812-22813
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22810-22810 domain telephoneNumber, 1 and TelecomNumber
(domain telephoneNumber 2 Agent) Mid-level-ontology.kif 22811-22811 domain telephoneNumber, 2 and Agent
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 22809-22809 instance telephoneNumber and AsymmetricRelation
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 22808-22808 instance telephoneNumber and BinaryPredicate

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


(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ") domainEnglishFormat.kif 4771-4771
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ") domainEnglishFormat.kif 4770-4770
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2") domainEnglishFormat.kif 4769-4769
(subrelation homePhoneNumber telephoneNumber) Mid-level-ontology.kif 22844-22844 subrelation homePhoneNumber and telephoneNumber
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 22910-22910 subrelation mobilePhoneNumber and telephoneNumber
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 22824-22824 subrelation personalPhoneNumber and telephoneNumber
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 22886-22886 subrelation workPhoneNumber and telephoneNumber
(termFormat ChineseLanguage telephoneNumber "电话号码") domainEnglishFormat.kif 57259-57259 termFormat ChineseLanguage, telephoneNumber and "电话号码"
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") domainEnglishFormat.kif 57258-57258 termFormat ChineseTraditionalLanguage, telephoneNumber and "電話號碼"
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 57257-57257 termFormat EnglishLanguage, telephoneNumber and "telephone number"

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


(=>
    (and
        (instance ?AGENT Human)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT)
                (located ?DEVICE ?PLACE)
                (instance ?PLACE Residence))))
    (holdsDuring ?TIME
        (inhabits ?AGENT ?PLACE)))		 Mid-level-ontology.kif 22871-22880
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 22924-22931
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))		 Mid-level-ontology.kif 22815-22817

consequent
-------------------------


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 22831-22838
(=>
    (and
        (instance ?X TelephoneCommunication)
        (attribute ?X Local))
    (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)
        (and
            (origin ?X ?ORIGIN)
            (destination ?X ?DEST)
            (telephoneNumber ?TEL1 ?ORIGIN)
            (telephoneNumber ?TEL2 ?DEST)
            (telecomAreaCode ?CODE ?TEL1)
            (telecomAreaCode ?CODE ?TEL2))))		 Mid-level-ontology.kif 25259-25270


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