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



KB Term:  Term intersection
English Word: 

Sigma KEE - editor
editor

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


(instance editor BinaryPredicate) Merge.kif 15760-15760 editor is an instance of binary predicate
(domain editor 1 AutonomousAgent) Merge.kif 15761-15761 The number 1 argument of editor is an instance of agent
(domainSubclass editor 2 Text) Merge.kif 15762-15762 The number 2 argument of editor is a subclass of text
(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 15765-15767 The number 2 argument of editor is a subclass of text

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


(termFormat EnglishLanguage editor "editor") domainEnglishFormat.kif 21252-21252
(termFormat ChineseTraditionalLanguage editor "編輯者") domainEnglishFormat.kif 21253-21253
(termFormat ChineseLanguage editor "编辑者") domainEnglishFormat.kif 21254-21254
(format EnglishLanguage editor "%1 is %n the editor of %2") english_format.kif 538-538


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