engineers |
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 | engineers 的 1 数量 是 施事体 的 instance |
(domain engineers 2 Artifact) | engineering.kif 1205-1205 | engineers 的 2 数量 是 人工制品 的 instance |
(instance engineers BinaryPredicate) | engineering.kif 1203-1203 | engineers 是 二元谓语 的 instance |
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 |