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 ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be contacted by post (mail) at the location ?PostalPlace.") Mid-level-ontology.kif 24670-24673
(domain postContactSite 1 PostalPlace) Mid-level-ontology.kif 24668-24668
(domain postContactSite 2 AutonomousAgent) Mid-level-ontology.kif 24669-24669
(instance postContactSite AsymmetricRelation) Mid-level-ontology.kif 24666-24666
(instance postContactSite BinaryPredicate) Mid-level-ontology.kif 24667-24667
(subrelation postContactSite siteForContact) Mid-level-ontology.kif 24674-24674

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 23282-23282
(subrelation workAddress postContactSite) Mid-level-ontology.kif 23270-23270
(termFormat EnglishLanguage postContactSite "post contact site") domainEnglishFormat.kif 65906-65906

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


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


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