Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  telephoneNumber

 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 24987-24988
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 24985-24985 Il numero 1 argomenti di telephoneNumber è un istanza di TelecomNumber
(domain telephoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 24986-24986 Il numero 2 argomenti di telephoneNumber è un istanza di AutonomousAgent
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 24984-24984 telephoneNumber è un' istanza di RelazioneAsimmetrica
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 24983-24983 telephoneNumber è un' istanza di PredicatoBinario

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 25019-25019 homePhoneNumber è una sottorelazione di telephoneNumber
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 25119-25119 mobilePhoneNumber è una sottorelazione di telephoneNumber
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 24999-24999 personalPhoneNumber è una sottorelazione di telephoneNumber
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 25049-25049 workPhoneNumber è una sottorelazione di 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 25034-25043
(=>
    (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 ?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 25092-25113
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))		 Mid-level-ontology.kif 24990-24992

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 25006-25013
(=>
    (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 27095-27106


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