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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postContactSite

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 23935-23938
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 23933-23933 The number 1 argument of postContactSite is an instance of PostalPlace
(domain postContactSite 2 Agent) Mid-level-ontology.kif 23934-23934 The number 2 argument of postContactSite is an instance of agent
(instance postContactSite AsymmetricRelation) Mid-level-ontology.kif 23931-23931 postContactSite is an instance of asymmetric relation
(instance postContactSite BinaryPredicate) Mid-level-ontology.kif 23932-23932 postContactSite is an instance of binary predicate
(subrelation postContactSite siteForContact) Mid-level-ontology.kif 23939-23939 postContactSite is a subrelation of siteForContact

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 22625-22625 home address is a subrelation of postContactSite
(subrelation workAddress postContactSite) Mid-level-ontology.kif 22613-22613 work address is a subrelation of postContactSite

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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