Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GraduateSchool(graduate school) |  | business_school, dental_school, grad_school, graduate_school, law_school, school_of_dentistry, school_of_law |
| appearance as argument number 1 |
|
|
| (subclass GraduateSchool PostSecondarySchool) | Mid-level-ontology.kif 18360-18360 | Graduate school is a subclass of post secondary school |
| (documentation GraduateSchool EnglishLanguage "A School which is devoted to a specific subject area, which admits students that have a bachelor's degree, which grants masters and/ or doctorate degrees, and which is part of a University.") | Mid-level-ontology.kif 18361-18363 | Graduate school is a subclass of post secondary school |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain HonoraryDoctorateDegreeFn 2 GraduateSchool) | LinkedInDegrees.kif 158-158 | The number 2 argument of honorary doctorate degree is an instance of graduate school |
| (domain HonoraryMasterDegreeFn 2 GraduateSchool) | LinkedInDegrees.kif 174-174 | The number 2 argument of honorary master's degree is an instance of graduate school |
| (domain MasterDegreeFn 2 GraduateSchool) | LinkedInDegrees.kif 341-341 | The number 2 argument of master's degree is an instance of graduate school |
| (domain DoctorateDegreeFn 2 GraduateSchool) | LinkedInDegrees.kif 389-389 | The number 2 argument of doctorate degree is an instance of graduate school |
| antecedent |
|
|
| (=> (instance ?S GraduateSchool) (exists (?U) (and (instance ?U University) (subOrganization ?S ?U)))) |
Mid-level-ontology.kif 18365-18370 | If X is an instance of graduate school, then there exists Y such that Y is an instance of university and X is a part of the organization Y |
| (=> (and (instance ?S Student) (instance ?GRADSCHOOL GraduateSchool) (subOrganization ?GRADSCHOOL ?SCHOOL) (attends ?S ?GRADSCHOOL) (expectedDegree ?S (MasterDegreeFn ?FIELDOFSTUDY1 ?GRADSCHOOL))) (exists (?D) (and (possesses ?S ?D) (instance ?D (BachelorDegreeFn ?FIELDOFSTUDY2 ?SCHOOL))))) |
LinkedInDegrees.kif 363-374 | If X is an instance of student, Y is an instance of graduate school, Y is a part of the organization Z, Y attends X, and expected degree X, master's degree W, and Y, then there exists V such that X possesses V, V is an instance of bachelor's degree U, and Z |
| (=> (and (attribute ?S Student) (instance ?GRADSCHOOL GraduateSchool) (attends ?S ?GRADSCHOOL) (expectedDegree ?S (DoctorateDegreeFn ?FIELDOFSTUDY3 ?GRADSCHOOL2))) (exists (?BD ?MD) (and (possesses ?S ?BD) (instance ?BD (BachelorDegreeFn ?FIELDOFSTUDY1 ?SCHOOL)) (modalAttribute (and (instance ?MD (MasterDegreeFn ?FIELDOFSTUDY2 ?GRADSCHOOL1)) (possesses ?S ?MD)) Likely)))) |
LinkedInDegrees.kif 394-409 | If student is an attribute of X, Y is an instance of graduate school, Y attends X, and expected degree X, doctorate degree Z, and W, then All of the following hold: (1) there exist V (2) U such that X possesses V (3) V is an instance of bachelor's degree T (4) S (5) the statement U is an instance of master's degree R (6) Q (7) X possesses U has the modal force of likely |
|