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 18182-18183 | |
(domain student 1 Human) | Mid-level-ontology.kif 18180-18180 | The number 1 argument of student is an instance of human |
(domain student 2 EducationalOrganization) | Mid-level-ontology.kif 18181-18181 | The number 2 argument of student is an instance of educational organization |
(instance student BinaryPredicate) | Mid-level-ontology.kif 18179-18179 | student is an instance of binary predicate |
(subrelation student member) | Mid-level-ontology.kif 18178-18178 | student is a subrelation of member |
appearance as argument number 2 |
![]() |
(format ChineseLanguage student "%1 是 %2 的 student ") | domainEnglishFormat.kif 4682-4682 | |
(format ChineseTraditionalLanguage student "%1 是 %2 的 student ") | domainEnglishFormat.kif 4681-4681 | |
(format EnglishLanguage student "%1 is a student of %2") | domainEnglishFormat.kif 4680-4680 | |
(termFormat EnglishLanguage student "student") | domainEnglishFormat.kif 65971-65971 |
antecedent |
![]() |
(=> (student ?AGENT ?ORG) (exists (?PROCESS) (and (instance ?PROCESS EducationalProcess) (eventLocated ?PROCESS ?ORG) (destination ?PROCESS ?AGENT)))) |
Mid-level-ontology.kif 18185-18191 |
|
consequent |
![]() |
![]() |
![]() |