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 22920-22921
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22918-22918 The number 1 argument of telephone number is an instance of TelecomNumber
(domain telephoneNumber 2 Agent) Mid-level-ontology.kif 22919-22919 The number 2 argument of telephone number is an instance of agent
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 22917-22917 telephone number is an instance of asymmetric relation
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 22916-22916 telephone number is an instance of binary predicate

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 22952-22952 homePhoneNumber is a subrelation of telephone number
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 23018-23018 mobilePhoneNumber is a subrelation of telephone number
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 22932-22932 personalPhoneNumber is a subrelation of telephone number
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 22994-22994 workPhoneNumber is a subrelation of telephone number
(termFormat ChineseLanguage telephoneNumber "电话号码") domainEnglishFormat.kif 57201-57201
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") domainEnglishFormat.kif 57200-57200
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 57199-57199

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 22979-22988
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23032-23039
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))
Mid-level-ontology.kif 22923-22925

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 22939-22946
(=>
    (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 25359-25370


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