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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - editor
editor

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


(documentation editor ChineseLanguage "(editor ?AGENT ?TEXTCLASS)的意思是 ?AGENT 是 ?TEXTCLASS 所有实例内所含内容的编辑。") chinese_format.kif 3563-3564
(documentation editor EnglishLanguage "(editor ?AGENT ?TEXTCLASS) means that ?AGENT is an editor of the content contained (or realized) in all instances of ?TEXTCLASS.") Merge.kif 14208-14210
(domain editor 1 Agent) Merge.kif 14204-14204 domain editor, 1 and Agent
(domainSubclass editor 2 Text) Merge.kif 14205-14205 domainSubclass editor, 2 and Text
(instance editor AsymmetricRelation) Merge.kif 14203-14203 instance editor and AsymmetricRelation
(instance editor BinaryPredicate) Merge.kif 14202-14202 instance editor and BinaryPredicate

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


(format ChineseLanguage editor "%1 %n 是 %2 的 editor") chinese_format.kif 533-533
(format EnglishLanguage editor "%1 is %n the editor of %2") english_format.kif 541-541
(termFormat ChineseLanguage editor "编辑") chinese_format.kif 534-534 termFormat ChineseLanguage, editor and "编辑"
(termFormat ChineseLanguage editor "编辑者") domainEnglishFormat.kif 21181-21181 termFormat ChineseLanguage, editor and "编辑者"
(termFormat ChineseTraditionalLanguage editor "編輯者") domainEnglishFormat.kif 21180-21180 termFormat ChineseTraditionalLanguage, editor and "編輯者"
(termFormat EnglishLanguage editor "editor") domainEnglishFormat.kif 21179-21179 termFormat EnglishLanguage, editor and "editor"


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners