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 ?Agent identifies a TelecomeNumber at which ?Agent can be contacted") Mid-level-ontology.kif 22907-22908
(domain telephoneNumber 1 TelecomNumber) Mid-level-ontology.kif 22905-22905
(domain telephoneNumber 2 Agent) Mid-level-ontology.kif 22906-22906
(instance telephoneNumber AsymmetricRelation) Mid-level-ontology.kif 22904-22904
(instance telephoneNumber BinaryPredicate) Mid-level-ontology.kif 22903-22903

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


(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2") domainEnglishFormat.kif 1202-1202
(subrelation homePhoneNumber telephoneNumber) Mid-level-ontology.kif 22939-22939
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 23005-23005
(subrelation personalPhoneNumber telephoneNumber) Mid-level-ontology.kif 22919-22919
(subrelation workPhoneNumber telephoneNumber) Mid-level-ontology.kif 22981-22981
(termFormat EnglishLanguage telephoneNumber "telephone number") domainEnglishFormat.kif 9977-9977

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 22966-22975
(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 23019-23026
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))		 Mid-level-ontology.kif 22910-22912

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


(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 22926-22933
(=>
    (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 25354-25365


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners