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 1206-1206
(domain engineers 1 AutonomousAgent)	engineering.kif 1204-1204	Die Zahl 1 Argument von engineers ist ein fall von AutonomousAgent %n{nicht}
(domain engineers 2 Artifact)	engineering.kif 1205-1205	Die Zahl 2 Argument von engineers ist ein fall von Artifact %n{nicht}
(instance engineers BinaryPredicate)	engineering.kif 1203-1203	engineers ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage engineers "%1 engineers %2 ")	domainEnglishFormat.kif 3306-3306
(format ChineseTraditionalLanguage engineers "%1 engineers %2 ")	domainEnglishFormat.kif 3305-3305
(format EnglishLanguage engineers "%1 engineers %2")	domainEnglishFormat.kif 3304-3304
(termFormat EnglishLanguage engineers "engineers")	engineering.kif 1207-1207

antecedent

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

engineering.kif 1209-1215

Wenn engineers AutonomousAgent and Artifact,
dann es gibt Process um ** Process ist ein fall von EngineersProcess %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Artifact ist ein resultat von ** Process %n{nicht}

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

KB Term:			Term intersection

English Word: