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

Formal Language: 



KB Term:  Term intersection
English Word: 

  workAddress

Sigma KEE - workAddress
workAddress

appearance as argument number 1
-------------------------


(documentation workAddress EnglishLanguage "(holdsDuring ?T1 (workAddress ?AGENT ?ADDRESS)) means that during the time specified by ?T1, ?ADDRESS identifies one of the locations at which ?AGENT works.") Mid-level-ontology.kif 23168-23171
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23172-23172 The number 1 argument of work address is an instance of postal place
(domain workAddress 2 CognitiveAgent) Mid-level-ontology.kif 23173-23173 The number 2 argument of work address is an instance of cognitive agent
(instance workAddress AsymmetricRelation) Mid-level-ontology.kif 23166-23166 work address is an instance of asymmetric relation
(instance workAddress BinaryPredicate) Mid-level-ontology.kif 23165-23165 work address is an instance of binary predicate
(subrelation workAddress postContactSite) Mid-level-ontology.kif 23167-23167 work address is a subrelation of post contact site

appearance as argument number 2
-------------------------


(format ChineseLanguage workAddress "%2 %n 是 %1 的 work 地址") domainEnglishFormat.kif 2634-2634
(format ChineseTraditionalLanguage workAddress "%2 %n 是 %1 的 work 地址") domainEnglishFormat.kif 2633-2633
(format EnglishLanguage workAddress "%2 is %n a work address of %1") domainEnglishFormat.kif 2632-2632
(termFormat ChineseLanguage workAddress "工作地址") domainEnglishFormat.kif 63465-63465
(termFormat ChineseTraditionalLanguage workAddress "工作地址") domainEnglishFormat.kif 63464-63464
(termFormat EnglishLanguage workAddress "work address") domainEnglishFormat.kif 63463-63463


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