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 26652-26653
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26650-26650 telephoneNumber の数値 1 引数は TelecomNumber の instance では
(domain telephoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 26651-26651 telephoneNumber の数値 2 引数は AutonomousAgent の instance では
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 26649-26649 telephoneNumber は 非対称関係 の instance では
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 26648-26648 telephoneNumber は 2進述語 の instance では

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 26684-26684 homePhoneNumber は telephoneNumber の subrelation では
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 26784-26784 mobilePhoneNumber は telephoneNumber の subrelation では
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 26664-26664 personalPhoneNumber は telephoneNumber の subrelation では
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 26714-26714 workPhoneNumber は telephoneNumber の subrelation では
(termFormat ChineseLanguage telephoneNumber "电话号码") domainEnglishFormat.kif 57326-57326 workPhoneNumber は telephoneNumber の subrelation では
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") domainEnglishFormat.kif 57325-57325 workPhoneNumber は telephoneNumber の subrelation では
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 57324-57324 workPhoneNumber は telephoneNumber の subrelation では

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 26699-26708
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 26797-26804
(=>
    (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 26757-26778
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))		 Mid-level-ontology.kif 26655-26657

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 26671-26678
(=>
    (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 29008-29019


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