| 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 25732-25735 | |
| (domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 25730-25730 | The number 1 argument of post contact site is an instance of postal place |
| (domain postContactSite 2 AutonomousAgent) | Mid-level-ontology.kif 25731-25731 | The number 2 argument of post contact site is an instance of agent |
| (instance postContactSite AsymmetricRelation) | Mid-level-ontology.kif 25728-25728 | post contact site is an instance of asymmetric relation |
| (instance postContactSite BinaryPredicate) | Mid-level-ontology.kif 25729-25729 | post contact site is an instance of binary predicate |
| (subrelation postContactSite siteForContact) | Mid-level-ontology.kif 25736-25736 | post contact site is a subrelation of site for contact |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage postContactSite "%2 能被 contacted 在 %1 ") | domainEnglishFormat.kif 4158-4158 | |
| (format ChineseTraditionalLanguage postContactSite "%2 能被 contacted 在 %1 ") | domainEnglishFormat.kif 4157-4157 | |
| (format EnglishLanguage postContactSite "%2 can be contacted at %1") | domainEnglishFormat.kif 4156-4156 | |
| (subrelation homeAddress postContactSite) | Mid-level-ontology.kif 24344-24344 | home address is a subrelation of post contact site |
| (subrelation workAddress postContactSite) | Mid-level-ontology.kif 24332-24332 | work address is a subrelation of post contact site |
| (termFormat EnglishLanguage postContactSite "post contact site") | domainEnglishFormat.kif 65953-65953 | work address is a subrelation of post contact site |
| consequent |
|
|
| (=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (postContactSite ?PLACE ?AGENT)) |
Mid-level-ontology.kif 7265-7268 |
|
|
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