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 ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted") Mid-level-ontology.kif 26650-26651
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26648-26648 The number 1 argument of telephone number is an instance of telecom number
(domain telephoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 26649-26649 The number 2 argument of telephone number is an instance of agent
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 26647-26647 telephone number is an instance of asymmetric relation
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 26646-26646 telephone number is an instance of binary predicate

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


(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ") domainEnglishFormat.kif 4770-4770
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ") domainEnglishFormat.kif 4769-4769
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2") domainEnglishFormat.kif 4768-4768
(subrelation homePhoneNumber telephoneNumber) Mid-level-ontology.kif 26682-26682 home phone number is a subrelation of telephone number
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 26782-26782 mobile phone number is a subrelation of telephone number
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 26662-26662 personal phone number is a subrelation of telephone number
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 26712-26712 work phone number is a subrelation of telephone number
(termFormat ChineseLanguage telephoneNumber "电话号码") domainEnglishFormat.kif 57326-57326 work phone number is a subrelation of telephone number
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") domainEnglishFormat.kif 57325-57325 work phone number is a subrelation of telephone number
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 57324-57324 work phone number is a subrelation of telephone number

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 26697-26706
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 26795-26802
(=>
    (and
        (instance ?H Hotline)
        (telephoneNumber ?H ?O)
        (instance ?O Organization))
    (hasPurpose ?H
        (exists (?T)
            (and
                (instance ?T Telephoning)
                (destination ?T ?O)
                (modalAttribute
                    (exists (?C)
                        (and
                            (instance ?C Communication)
                            (instrument ?C ?H)
                            (equal
                                (BeginFn
                                    (WhenFn ?C))
                                (BeginFn
                                    (ImmediateFutureFn
                                        (WhenFn ?T)))))) Likely)))))
Mid-level-ontology.kif 26755-26776
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))
Mid-level-ontology.kif 26653-26655

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 26669-26676
(=>
    (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 29006-29017


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