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


KB Term:  Term intersection
English Word: 

Sigma KEE - workAddress
workAddress

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


(instance workAddress BinaryPredicate) Mid-level-ontology.kif 25534-25534 work address is an instance of binary predicate
(instance workAddress AsymmetricRelation) Mid-level-ontology.kif 25535-25535 work address is an instance of asymmetric relation
(subrelation workAddress postContactSite) Mid-level-ontology.kif 25536-25536 work address is a subrelation of post contact site
(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 25537-25540 work address is a subrelation of post contact site
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 25541-25541 The number 1 argument of work address is an instance of postal place
(domain workAddress 2 CognitiveAgent) Mid-level-ontology.kif 25542-25542 The number 2 argument of work address is an instance of cognitive agent

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners