TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

(=>
    (engineers ?AGENT ?OBJECT)
    (exists (?ENGINEERING)
        (and
            (instance ?ENGINEERING EngineersProcess)
            (agent ?ENGINEERING ?AGENT)
            (result ?ENGINEERING ?OBJECT))))

engineering.kif 1522-1528

If an agent engineers an artifact,
then there exists a process such that the process is an instance of engineers process and the agent is an agent of the process and the artifact is a result of the process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: