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 22783-22786
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 22781-22781 The number 1 argument of deviceTelecomNumber is an instance of TelecomNumber
(domain deviceTelecomNumber 2 TelephonyDevice) Mid-level-ontology.kif 22782-22782 The number 2 argument of deviceTelecomNumber is an instance of TelephonyDevice
(instance deviceTelecomNumber AsymmetricRelation) Mid-level-ontology.kif 22780-22780 deviceTelecomNumber is an instance of asymmetric relation
(instance deviceTelecomNumber BinaryPredicate) Mid-level-ontology.kif 22779-22779 deviceTelecomNumber is an instance of binary predicate

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


(format EnglishLanguage deviceTelecomNumber "%2 has number %1") domainEnglishFormat.kif 821-821

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 22966-22975
(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23046-23053
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23019-23026
(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 22926-22933
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))
Mid-level-ontology.kif 23057-23062
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))
Mid-level-ontology.kif 22956-22963
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (holdsDuring ?TIME
        (possesses ?AGENT ?DEVICE)))
Mid-level-ontology.kif 23031-23036
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE MobileCellPhone))
Mid-level-ontology.kif 23011-23016


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