| appearance as argument number 1 |
|
| s__documentation(s__engineers__m,s__EnglishLanguage,'"(engineers ?AGENT ?OBJECT) means the Agent ?AGENT engineered some Artifact ?OBJECT"')
|
engineering.kif 1205-1205 | |
| s__domain(s__engineers__m,n__1,s__Agent)
|
engineering.kif 1203-1203 | The number 1 argument of engineers is an instance of agent |
| s__domain(s__engineers__m,n__2,s__Artifact)
|
engineering.kif 1204-1204 | The number 2 argument of engineers is an instance of artifact |
| s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__engineers__m,s__BinaryPredicate)
|
engineering.kif 1202-1202 | engineers is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__engineers__m,'"%1 engineers %2 "')
|
domainEnglishFormat.kif 3307-3307 | |
| s__format(s__ChineseTraditionalLanguage,s__engineers__m,'"%1 engineers %2 "')
|
domainEnglishFormat.kif 3306-3306 | |
| s__format(s__EnglishLanguage,s__engineers__m,'"%1 engineers %2"')
|
domainEnglishFormat.kif 3305-3305 | |
| s__termFormat(s__EnglishLanguage,s__engineers__m,'"engineers"')
|
engineering.kif 1206-1206 |
| antecedent |
|
|
| ( ! [V__AGENT,V__OBJECT] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__OBJECT,s__Artifact)) => s__engineers(V__AGENT,V__OBJECT) => ( ? [V__ENGINEERING] : ((s__instance(V__ENGINEERING,s__EngineersProcess) & s__agent(V__ENGINEERING,V__AGENT) & s__result(V__ENGINEERING,V__OBJECT)))) ) )
|
engineering.kif 1208-1214 |
|
|
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