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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 22751-22754
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 22755-22755 domain workAddress, 1 and PostalPlace
(domain workAddress 2 CognitiveAgent) Mid-level-ontology.kif 22756-22756 domain workAddress, 2 and CognitiveAgent
(instance workAddress AsymmetricRelation) Mid-level-ontology.kif 22749-22749 instance workAddress and AsymmetricRelation
(instance workAddress BinaryPredicate) Mid-level-ontology.kif 22748-22748 instance workAddress and BinaryPredicate
(subrelation workAddress postContactSite) Mid-level-ontology.kif 22750-22750 subrelation workAddress and postContactSite

appearance as argument number 2

(format ChineseLanguage workAddress "%2 %n 是 %1 的 work 地址") domainEnglishFormat.kif 2635-2635
(format ChineseTraditionalLanguage workAddress "%2 %n 是 %1 的 work 地址") domainEnglishFormat.kif 2634-2634
(format EnglishLanguage workAddress "%2 is %n a work address of %1") domainEnglishFormat.kif 2633-2633
(termFormat ChineseLanguage workAddress "工作地址") domainEnglishFormat.kif 63426-63426
(termFormat ChineseTraditionalLanguage workAddress "工作地址") domainEnglishFormat.kif 63425-63425
(termFormat EnglishLanguage workAddress "work address") domainEnglishFormat.kif 63424-63424

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 3.0 is open source software produced by Articulate Software and its partners