student |
appearance as argument number 1 |
(documentation student EnglishLanguage "(student ?AGENT ?ORG) means that ?AGENT is enrolled in the EducationalOrganization ?ORG.") | Mid-level-ontology.kif 16822-16823 | |
(domain student 1 Human) | Mid-level-ontology.kif 16820-16820 | student の数値 1 引数は 人[人間] の instance では %n |
(domain student 2 EducationalOrganization) | Mid-level-ontology.kif 16821-16821 | student の数値 2 引数は 教育組織 の instance では %n |
(instance student BinaryPredicate) | Mid-level-ontology.kif 16819-16819 | student は 2進述語 の instance では %n |
(subrelation student member) | Mid-level-ontology.kif 16818-16818 | student は member の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage student "%1 是 %2 的 student ") | domainEnglishFormat.kif 4678-4678 | |
(format ChineseTraditionalLanguage student "%1 是 %2 的 student ") | domainEnglishFormat.kif 4677-4677 | |
(format EnglishLanguage student "%1 is a student of %2") | domainEnglishFormat.kif 4676-4676 | |
(termFormat EnglishLanguage student "student") | domainEnglishFormat.kif 65946-65946 |
antecedent |
(=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 16825-16831 |
consequent |