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

KB Term:  Term intersection
English Word: 

Sigma KEE - engineers
engineers

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


(instance engineers BinaryPredicate) engineering.kif 1628-1628 engineers is an instance of binary predicate
(domain engineers 1 AutonomousAgent) engineering.kif 1629-1629 The number 1 argument of engineers is an instance of agent
(domain engineers 2 Artifact) engineering.kif 1630-1630 The number 2 argument of engineers is an instance of artifact
(documentation engineers EnglishLanguage "(engineers ?AGENT ?OBJECT) means the AutonomousAgent ?AGENT engineered some Artifact ?OBJECT") engineering.kif 1631-1631 The number 2 argument of engineers is an instance of artifact

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


(format EnglishLanguage engineers "%1 engineers %2") domainEnglishFormat.kif 3300-3300
(format ChineseTraditionalLanguage engineers "%1 engineers %2 ") domainEnglishFormat.kif 3301-3301
(format ChineseLanguage engineers "%1 engineers %2 ") domainEnglishFormat.kif 3302-3302
(termFormat EnglishLanguage engineers "engineers") engineering.kif 1632-1632

antecedent
-------------------------


(=>
    (engineers ?AGENT ?OBJECT)
    (exists (?ENGINEERING)
        (and
            (instance ?ENGINEERING EngineersProcess)
            (agent ?ENGINEERING ?AGENT)
            (result ?ENGINEERING ?OBJECT))))		 engineering.kif 1634-1640 If X engineers Y, then there exists Z such that Z is an instance of engineers process, X is an agent of Z, and Y is a result of Z


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