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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - postContactSite
postContactSite

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


(documentation postContactSite EnglishLanguage "(postContactSite ?PostalPlace ?Agent) means that the Human or Organization ?Agent can be contacted by post (mail) at the location ?PostalPlace.") Mid-level-ontology.kif 23987-23990
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 23985-23985
(domain postContactSite 2 Agent) Mid-level-ontology.kif 23986-23986
(instance postContactSite AsymmetricRelation) Mid-level-ontology.kif 23983-23983
(instance postContactSite BinaryPredicate) Mid-level-ontology.kif 23984-23984
(subrelation postContactSite siteForContact) Mid-level-ontology.kif 23991-23991

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


(format ChineseLanguage postContactSite "%2 能被 contacted 在 %1 ") domainEnglishFormat.kif 4159-4159
(format ChineseTraditionalLanguage postContactSite "%2 能被 contacted 在 %1 ") domainEnglishFormat.kif 4158-4158
(format EnglishLanguage postContactSite "%2 can be contacted at %1") domainEnglishFormat.kif 4157-4157
(subrelation homeAddress postContactSite) Mid-level-ontology.kif 22677-22677
(subrelation workAddress postContactSite) Mid-level-ontology.kif 22665-22665

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


(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (postContactSite ?PLACE ?AGENT))
Mid-level-ontology.kif 6380-6383


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