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

KB Term:  Term intersection
English Word: 

Sigma KEE - telephoneNumber
telephoneNumber

appearance as argument number 1
-------------------------


(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 27266-27266 telephone number is an instance of binary predicate
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 27267-27267 telephone number is an instance of asymmetric relation
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 27268-27268 The number 1 argument of telephone number is an instance of telecom number
(domain telephoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 27269-27269 The number 2 argument of telephone number is an instance of agent
(documentation telephoneNumber EnglishLanguage "(%&telephoneNumber ?NUMBER ?AGENT) means that ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted") Mid-level-ontology.kif 27270-27271 The number 2 argument of telephone number is an instance of agent

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


(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 27282-27282 personal phone number is a subrelation of telephone number
(subrelation homePhoneNumber telephoneNumber) Mid-level-ontology.kif 27302-27302 home phone number is a subrelation of telephone number
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 27332-27332 work phone number is a subrelation of telephone number
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 27440-27440 mobile phone number is a subrelation of telephone number
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2") domainEnglishFormat.kif 4768-4768 mobile phone number is a subrelation of telephone number
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ") domainEnglishFormat.kif 4769-4769 mobile phone number is a subrelation of telephone number
(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ") domainEnglishFormat.kif 4770-4770 mobile phone number is a subrelation of telephone number
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 57317-57317 mobile phone number is a subrelation of telephone number
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") domainEnglishFormat.kif 57318-57318 mobile phone number is a subrelation of telephone number
(termFormat ChineseLanguage telephoneNumber "电话号码") domainEnglishFormat.kif 57319-57319 mobile phone number is a subrelation of telephone number

antecedent
-------------------------


(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))		 Mid-level-ontology.kif 27273-27275 If X is the telephone number of Y, then Y can be contacted at X
(=>
    (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 27317-27326 If X is an instance of human and Y has number Z, Z is the telephone number of X, Y is located at W, and W is an instance of residence holds during V, then X lives in W holds during V
(=>
    (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 27413-27434 If X is an instance of hotline, X is the telephone number of Y, and Y is an instance of organization, then X has the purpose there exists Z such that Z is an instance of telephoning, Z ends up at Y, the statement there exists W such that W is an instance of communication, X is an instrument for W, equal the beginning of the time of existence of W, and the beginning of immediately after the time of existence of Z has the modal force of likely
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 27453-27460 If X is an instance of mobile cell phone and X has number Y and Y is the telephone number of Z holds during W, then the mobile number of Z is Y holds during W

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 27289-27296 If X is an instance of telephone and Y possesses X and X has number Z holds during W, then Z is the telephone number of Y holds during W
(=>
    (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 29701-29712 If X is an instance of telephone communication and local is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at W (3) X ends up at V (4) Y is the telephone number of W (5) Z is the telephone number of V (6) the area code in Y is U (7) the area code in Z is U


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners