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 22908-22909
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22906-22906
(domain telephoneNumber 2 Agent) Mid-level-ontology.kif 22907-22907
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 22905-22905
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 22904-22904

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 22940-22940
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 23006-23006
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 22920-22920
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 22982-22982
(termFormat ChineseLanguage telephoneNumber "电话号码") domainEnglishFormat.kif 57259-57259
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") domainEnglishFormat.kif 57258-57258
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 57257-57257

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 22967-22976
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23020-23027
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))
Mid-level-ontology.kif 22911-22913

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 22927-22934
(=>
    (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 25347-25358


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