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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 21120-21123
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 21124-21124 The number 1 argument of work address is an instance of PostalPlace
(domain workAddress 2 CognitiveAgent) Mid-level-ontology.kif 21125-21125 The number 2 argument of work address is an instance of cognitive agent
(instance workAddress AsymmetricRelation) Mid-level-ontology.kif 21118-21118 work address is an instance of asymmetric relation
(instance workAddress BinaryPredicate) Mid-level-ontology.kif 21117-21117 work address is an instance of binary predicate
(subrelation workAddress postContactSite) Mid-level-ontology.kif 21119-21119 work address is a subrelation of postContactSite

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


(format ChineseLanguage workAddress "%2 %n 是 %1 的 work 地址") domainEnglishFormat.kif 2631-2631
(format ChineseTraditionalLanguage workAddress "%2 %n 是 %1 的 work 地址") domainEnglishFormat.kif 2630-2630
(format EnglishLanguage workAddress "%2 is %n a work address of %1") domainEnglishFormat.kif 2629-2629
(termFormat ChineseLanguage workAddress "工作地址") domainEnglishFormat.kif 63409-63409 "工作地址" is the printable form of work address in ChineseLanguage
(termFormat ChineseTraditionalLanguage workAddress "工作地址") domainEnglishFormat.kif 63408-63408 "工作地址" is the printable form of work address in ChineseTraditionalLanguage
(termFormat EnglishLanguage workAddress "work address") domainEnglishFormat.kif 63407-63407 "work address" is the printable form of work address in english language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners