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


KB Term:  Term intersection
English Word: 

  operator

 Sigma KEE - operator
operator

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


(instance operator BinaryPredicate) Mid-level-ontology.kif 25041-25041 operator is an instance of binary predicate
(instance operator AsymmetricRelation) Mid-level-ontology.kif 25042-25042 operator is an instance of asymmetric relation
(instance operator IrreflexiveRelation) Mid-level-ontology.kif 25043-25043 operator is an instance of irreflexive relation
(domain operator 1 Object) Mid-level-ontology.kif 25044-25044 The number 1 argument of operator is an instance of object
(domain operator 2 AutonomousAgent) Mid-level-ontology.kif 25045-25045 The number 2 argument of operator is an instance of agent
(documentation operator EnglishLanguage "(operator ?OBJECT ?AGENT) means that ?AGENT determines how ?OBJECT is used, either by directly or indirectly operating it.") Mid-level-ontology.kif 25047-25049 The number 2 argument of operator is an instance of agent

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


(format EnglishLanguage operator "%2 is %n an operator of %1") domainEnglishFormat.kif 1845-1845
(format ChineseTraditionalLanguage operator "%2 %n 是 %1 的 operator ") domainEnglishFormat.kif 1846-1846
(format ChineseLanguage operator "%2 %n 是 %1 的 operator ") domainEnglishFormat.kif 1847-1847
(termFormat EnglishLanguage operator "operator") domainEnglishFormat.kif 42281-42281
(termFormat ChineseTraditionalLanguage operator "操作者") domainEnglishFormat.kif 42282-42282
(termFormat ChineseLanguage operator "操作者") domainEnglishFormat.kif 42283-42283

Show without tree

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