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 24988-24989
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24986-24986 Le nombre 1 argument de telephoneNumber est une instance de TelecomNumber
(domain telephoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 24987-24987 Le nombre 2 argument de telephoneNumber est une instance de AutonomousAgent
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 24985-24985 telephoneNumber est une instance de relation asym�trique
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 24984-24984 telephoneNumber est une instance de pr�dicat binaire

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


(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ") domainEnglishFormat.kif 4766-4766
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ") domainEnglishFormat.kif 4765-4765
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2") domainEnglishFormat.kif 4764-4764
(subrelation homePhoneNumber telephoneNumber) Mid-level-ontology.kif 25020-25020 homePhoneNumber est une sous-relation de telephoneNumber
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 25120-25120 mobilePhoneNumber est une sous-relation de telephoneNumber
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 25000-25000 personalPhoneNumber est une sous-relation de telephoneNumber
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 25050-25050 workPhoneNumber est une sous-relation de telephoneNumber
(termFormat ChineseLanguage telephoneNumber "电话号码") domainEnglishFormat.kif 57320-57320
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") domainEnglishFormat.kif 57319-57319
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 57318-57318

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 25035-25044
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 25133-25140
(=>
    (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 25093-25114
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))
Mid-level-ontology.kif 24991-24993

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 25007-25014
(=>
    (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 27107-27118


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