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 16794-16795 | |
(domain student 1 Human) | Mid-level-ontology.kif 16792-16792 | Die Zahl 1 Argument von student ist ein fall von Human %n{nicht} |
(domain student 2 EducationalOrganization) | Mid-level-ontology.kif 16793-16793 | Die Zahl 2 Argument von student ist ein fall von EducationalOrganization %n{nicht} |
(instance student BinaryPredicate) | Mid-level-ontology.kif 16791-16791 | student ist ein fall von BinaryPredicate %n{nicht} |
(subrelation student member) | Mid-level-ontology.kif 16790-16790 | student ist eine teilrelation von mitglied |
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 65944-65944 |
antecedent |
(=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 16797-16803 |
|
consequent |