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 23014-23017
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 23012-23012
(domain postContactSite 2 Agent) Mid-level-ontology.kif 23013-23013
(instance postContactSite AsymmetricRelation) Mid-level-ontology.kif 23010-23010
(instance postContactSite BinaryPredicate) Mid-level-ontology.kif 23011-23011
(subrelation postContactSite siteForContact) Mid-level-ontology.kif 23018-23018

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 21702-21702
(subrelation workAddress postContactSite) Mid-level-ontology.kif 21690-21690

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


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


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