postContactSite - Sigma Knowledge base Browser

appearance as argument number 1

(instance postContactSite AsymmetricRelation)	Mid-level-ontology.kif 26891-26891	post contact site is an instance of asymmetric relation
(instance postContactSite BinaryPredicate)	Mid-level-ontology.kif 26892-26892	post contact site is an instance of binary predicate
(domain postContactSite 1 PostalPlace)	Mid-level-ontology.kif 26893-26893	The number 1 argument of post contact site is an instance of postal place
(domain postContactSite 2 AutonomousAgent)	Mid-level-ontology.kif 26894-26894	The number 2 argument of post contact site is an instance of agent
(documentation postContactSite EnglishLanguage "(postContactSite ?PostalPlace ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be contacted by post (mail) at the location ?PostalPlace.")	Mid-level-ontology.kif 26895-26898	The number 2 argument of post contact site is an instance of agent
(subrelation postContactSite siteForContact)	Mid-level-ontology.kif 26899-26899	post contact site is a subrelation of site for contact

appearance as argument number 2

(subrelation workAddress postContactSite)	Mid-level-ontology.kif 25536-25536	work address is a subrelation of post contact site
(subrelation homeAddress postContactSite)	Mid-level-ontology.kif 25548-25548	home address is a subrelation of post contact site
(format EnglishLanguage postContactSite "%2 can be contacted at %1")	domainEnglishFormat.kif 4156-4156	home address is a subrelation of post contact site
(format ChineseTraditionalLanguage postContactSite "%2 能被 contacted 在 %1 ")	domainEnglishFormat.kif 4157-4157	home address is a subrelation of post contact site
(format ChineseLanguage postContactSite "%2 能被 contacted 在 %1 ")	domainEnglishFormat.kif 4158-4158	home address is a subrelation of post contact site
(termFormat EnglishLanguage postContactSite "post contact site")	domainEnglishFormat.kif 65931-65931	home address is a subrelation of post contact site

consequent

(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (postContactSite ?PLACE ?AGENT))

If equal the street address of X, Y, Z, W, and V, then V can be contacted at X