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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - siteForContact
siteForContact

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


(documentation siteForContact EnglishLanguage "(siteForContact ?ContactSite ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be reached at or via the point of contact ?ContactSite.") Mid-level-ontology.kif 24604-24607
(domain siteForContact 1 ContactSite) Mid-level-ontology.kif 24602-24602 The number 1 argument of site for contact is an instance of contact site
(domain siteForContact 2 AutonomousAgent) Mid-level-ontology.kif 24603-24603 The number 2 argument of site for contact is an instance of agent
(instance siteForContact AsymmetricRelation) Mid-level-ontology.kif 24600-24600 site for contact is an instance of asymmetric relation
(instance siteForContact BinaryPredicate) Mid-level-ontology.kif 24601-24601 site for contact is an instance of binary predicate

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


(format ChineseLanguage siteForContact "%2 能是 contacted 在 %1 ") domainEnglishFormat.kif 4530-4530
(format ChineseTraditionalLanguage siteForContact "%2 能是 contacted 在 %1 ") domainEnglishFormat.kif 4529-4529
(format EnglishLanguage siteForContact "%2 can be contacted at %1") domainEnglishFormat.kif 4528-4528
(subrelation postContactSite siteForContact) Mid-level-ontology.kif 24617-24617 post contact site is a subrelation of site for contact
(subrelation telecomContactDevice siteForContact) Mid-level-ontology.kif 24866-24866 telecom contact device is a subrelation of site for contact
(termFormat EnglishLanguage siteForContact "site for contact") domainEnglishFormat.kif 65937-65937

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


(=>
    (instance ?X TelephoneCommunication)
    (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST)
        (and
            (origin ?X ?ORIGIN)
            (destination ?X ?DEST)
            (siteForContact ?ORIGIN ?TEL1)
            (siteForContact ?DEST ?TEL2)
            (instance ?TEL1 Telephone)
            (instance ?TEL2 Telephone)
            (instrument ?X ?TEL1)
            (instrument ?X ?TEL2))))
Mid-level-ontology.kif 27027-27038
(=>
    (telephoneNumber ?NUMBER ?AGENT)
    (siteForContact ?NUMBER ?AGENT))
Mid-level-ontology.kif 24991-24993


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