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

Formal Language: 



KB Term:  Term intersection
English Word: 

  deviceTelecomNumber

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 24203-24206
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 24201-24201
(domain deviceTelecomNumber 2 TelephonyDevice) Mid-level-ontology.kif 24202-24202
(instance deviceTelecomNumber AsymmetricRelation) Mid-level-ontology.kif 24200-24200
(instance deviceTelecomNumber BinaryPredicate) Mid-level-ontology.kif 24199-24199

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


(format ChineseLanguage deviceTelecomNumber "%2 有 number %1 ") domainEnglishFormat.kif 3251-3251
(format ChineseTraditionalLanguage deviceTelecomNumber "%2 有 number %1 ") domainEnglishFormat.kif 3250-3250
(format EnglishLanguage deviceTelecomNumber "%2 has number %1") domainEnglishFormat.kif 3249-3249

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 24356-24365
(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 24462-24469
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 24437-24444
(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 24328-24335
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))
Mid-level-ontology.kif 24471-24476
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))
Mid-level-ontology.kif 24347-24354
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (instance ?DEVICE MobileCellPhone)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (holdsDuring ?TIME
        (possesses ?AGENT ?DEVICE)))
Mid-level-ontology.kif 24446-24452
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE MobileCellPhone))
Mid-level-ontology.kif 24430-24435


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners