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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - deviceTelecomNumber
deviceTelecomNumber

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


(documentation deviceTelecomNumber EnglishLanguage "(deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber.") Mid-level-ontology.kif 22784-22787
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 22782-22782
(domain deviceTelecomNumber 2 TelephonyDevice) Mid-level-ontology.kif 22783-22783
(instance deviceTelecomNumber AsymmetricRelation) Mid-level-ontology.kif 22781-22781
(instance deviceTelecomNumber BinaryPredicate) Mid-level-ontology.kif 22780-22780

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


(format ChineseLanguage deviceTelecomNumber "%2 有 number %1 ") domainEnglishFormat.kif 3247-3247
(format ChineseTraditionalLanguage deviceTelecomNumber "%2 有 number %1 ") domainEnglishFormat.kif 3246-3246
(format EnglishLanguage deviceTelecomNumber "%2 has number %1") domainEnglishFormat.kif 3245-3245

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 FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23047-23054
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23020-23027
(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 22927-22934
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))
Mid-level-ontology.kif 23058-23063
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))
Mid-level-ontology.kif 22957-22964
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (holdsDuring ?TIME
        (possesses ?AGENT ?DEVICE)))
Mid-level-ontology.kif 23032-23037
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE MobileCellPhone))
Mid-level-ontology.kif 23012-23017


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