postContactSite |
appearance as argument number 1 |
(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 24613-24616 | |
(domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 24611-24611 | O argumento numero 1 de postContactSite e' uma instancia de PostalPlace |
(domain postContactSite 2 AutonomousAgent) | Mid-level-ontology.kif 24612-24612 | O argumento numero 2 de postContactSite e' uma instancia de AutonomousAgent |
(instance postContactSite AsymmetricRelation) | Mid-level-ontology.kif 24609-24609 | postContactSite e' uma instancia de Relacao Assimetrica |
(instance postContactSite BinaryPredicate) | Mid-level-ontology.kif 24610-24610 | postContactSite e' uma instancia de Predicado Binario |
(subrelation postContactSite siteForContact) | Mid-level-ontology.kif 24617-24617 | postContactSite e' uma sub-relacao de siteForContact |
appearance as argument number 2 |
(format ChineseLanguage postContactSite "%2 能被 contacted 在 %1 ") | domainEnglishFormat.kif 4154-4154 | |
(format ChineseTraditionalLanguage postContactSite "%2 能被 contacted 在 %1 ") | domainEnglishFormat.kif 4153-4153 | |
(format EnglishLanguage postContactSite "%2 can be contacted at %1") | domainEnglishFormat.kif 4152-4152 | |
(subrelation homeAddress postContactSite) | Mid-level-ontology.kif 23230-23230 | homeAddress e' uma sub-relacao de postContactSite |
(subrelation workAddress postContactSite) | Mid-level-ontology.kif 23218-23218 | workAddress e' uma sub-relacao de postContactSite |
(termFormat EnglishLanguage postContactSite "post contact site") | domainEnglishFormat.kif 65904-65904 |
consequent |
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (postContactSite ?PLACE ?AGENT)) |
Mid-level-ontology.kif 6716-6719 |