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 22945-22946
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22943-22943 The number 1 argument of telephone number is an instance of TelecomNumber
(domain telephoneNumber 2 Agent) Mid-level-ontology.kif 22944-22944 The number 2 argument of telephone number is an instance of agent
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 22942-22942 telephone number is an instance of asymmetric relation
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 22941-22941 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 22977-22977 homePhoneNumber is a subrelation of telephone number
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 23043-23043 mobilePhoneNumber is a subrelation of telephone number
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 22957-22957 personalPhoneNumber is a subrelation of telephone number
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 23019-23019 workPhoneNumber is a subrelation of telephone number
(termFormat ChineseLanguage telephoneNumber "电话号码") domainEnglishFormat.kif 57222-57222
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") domainEnglishFormat.kif 57221-57221
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 57220-57220

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 23004-23013
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23057-23064
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))
Mid-level-ontology.kif 22948-22950

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 22964-22971
(=>
    (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 25384-25395


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 3.0 is open source software produced by Articulate Software and its partners