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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - operator
operator

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


(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 22769-22771
(domain operator 1 Object) Mid-level-ontology.kif 22766-22766 操作者 的 1 数量 是 客体instance
(domain operator 2 AutonomousAgent) Mid-level-ontology.kif 22767-22767 操作者 的 2 数量 是 施事体instance
(instance operator AsymmetricRelation) Mid-level-ontology.kif 22764-22764 操作者非对称关系instance
(instance operator BinaryPredicate) Mid-level-ontology.kif 22763-22763 操作者二元谓语instance
(instance operator IrreflexiveRelation) Mid-level-ontology.kif 22765-22765 操作者非自反关系instance

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


(format ChineseLanguage operator "%2 %n 是 %1 的 operator ") domainEnglishFormat.kif 1843-1843
(format ChineseTraditionalLanguage operator "%2 %n 是 %1 的 operator ") domainEnglishFormat.kif 1842-1842
(format EnglishLanguage operator "%2 is %n an operator of %1") domainEnglishFormat.kif 1841-1841
(termFormat ChineseLanguage operator "操作者") domainEnglishFormat.kif 42282-42282
(termFormat ChineseTraditionalLanguage operator "操作者") domainEnglishFormat.kif 42281-42281
(termFormat EnglishLanguage operator "operator") domainEnglishFormat.kif 42280-42280

consequent
-------------------------


(=>
    (instance ?A AppleStore)
    (operator AppleComputer ?A))
ComputingBrands.kif 2093-2095


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