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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlgiersAlgeria

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 23271-23274
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23275-23275 工作地址, 1 and PostalPlace
(domain workAddress 2 CognitiveAgent) Mid-level-ontology.kif 23276-23276 工作地址, 2 and CognitiveAgent
(instance workAddress AsymmetricRelation) Mid-level-ontology.kif 23269-23269 工作地址 and AsymmetricRelation
(instance workAddress BinaryPredicate) Mid-level-ontology.kif 23268-23268 工作地址 and BinaryPredicate
(subrelation workAddress postContactSite) Mid-level-ontology.kif 23270-23270 子關係 工作地址 and postContactSite

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 63455-63455
(termFormat ChineseTraditionalLanguage workAddress "工作地址") domainEnglishFormat.kif 63454-63454
(termFormat EnglishLanguage workAddress "work address") domainEnglishFormat.kif 63453-63453


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