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 23219-23222
(domain workAddress 1 PostalPlace) Mid-level-ontology.kif 23223-23223 workAddress の数値 1 引数は PostalPlaceinstance では %n
(domain workAddress 2 CognitiveAgent) Mid-level-ontology.kif 23224-23224 workAddress の数値 2 引数は 認識エージェントinstance では %n
(instance workAddress AsymmetricRelation) Mid-level-ontology.kif 23217-23217 workAddress非対称関係instance では %n
(instance workAddress BinaryPredicate) Mid-level-ontology.kif 23216-23216 workAddress2進述語instance では %n
(subrelation workAddress postContactSite) Mid-level-ontology.kif 23218-23218 workAddresspostContactSitesubrelation では %n

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


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