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 24860-24863
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 24864-24864
(domain workAddress 2 CognitiveAgent) Mid-level-ontology.kif 24865-24865
(instance workAddress AsymmetricRelation) Mid-level-ontology.kif 24858-24858
(instance workAddress BinaryPredicate) Mid-level-ontology.kif 24857-24857
(subrelation workAddress postContactSite) Mid-level-ontology.kif 24859-24859

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


(format ChineseLanguage workAddress "%2 %n 是 %1 的 work 地址") domainEnglishFormat.kif 2630-2630
(format ChineseTraditionalLanguage workAddress "%2 %n 是 %1 的 work 地址") domainEnglishFormat.kif 2629-2629
(format EnglishLanguage workAddress "%2 is %n a work address of %1") domainEnglishFormat.kif 2628-2628
(termFormat ChineseLanguage workAddress "工作地址") domainEnglishFormat.kif 63447-63447
(termFormat ChineseTraditionalLanguage workAddress "工作地址") domainEnglishFormat.kif 63446-63446
(termFormat EnglishLanguage workAddress "work address") domainEnglishFormat.kif 63445-63445


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