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 24881-24884
(domain deviceTelecomNumber 1 TelecomNumber) Mid-level-ontology.kif 24879-24879 Il numero 1 argomenti di deviceTelecomNumber è un istanza di TelecomNumber
(domain deviceTelecomNumber 2 TelephonyDevice) Mid-level-ontology.kif 24880-24880 Il numero 2 argomenti di deviceTelecomNumber è un istanza di TelephonyDevice
(instance deviceTelecomNumber AsymmetricRelation) Mid-level-ontology.kif 24878-24878 deviceTelecomNumber è un' istanza di RelazioneAsimmetrica
(instance deviceTelecomNumber BinaryPredicate) Mid-level-ontology.kif 24877-24877 deviceTelecomNumber è un' istanza di PredicatoBinario

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


(format ChineseLanguage deviceTelecomNumber "%2 有 number %1 ") domainEnglishFormat.kif 3246-3246
(format ChineseTraditionalLanguage deviceTelecomNumber "%2 有 number %1 ") domainEnglishFormat.kif 3245-3245
(format EnglishLanguage deviceTelecomNumber "%2 has number %1") domainEnglishFormat.kif 3244-3244
(termFormat EnglishLanguage deviceTelecomNumber "device telecom number") domainEnglishFormat.kif 65810-65810

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 25034-25043
(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 25157-25164
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 25132-25139
(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 25006-25013
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))		 Mid-level-ontology.kif 25166-25171
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))		 Mid-level-ontology.kif 25025-25032
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (instance ?DEVICE MobileCellPhone)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (holdsDuring ?TIME
        (possesses ?AGENT ?DEVICE)))		 Mid-level-ontology.kif 25141-25147
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE MobileCellPhone))		 Mid-level-ontology.kif 25125-25130


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