|
|
   Graduation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Graduation ChineseLanguage "这是由一个 EducationalOrganization 毕业的 OrganizationalProcess。") | chinese_format.kif 2951-2952 | |
| (documentation Graduation EnglishLanguage "The OrganizationalProcess of graduating from an EducationalOrganization.") | Merge.kif 10733-10734 | |
| (documentation Graduation JapaneseLanguage "EducationalOrganization を卒業する OrganizationalProcess 。") | japanese_format.kif 1706-1707 | |
| (externalImage Graduation "http://articulatesoftware.com/SUMOpictures/education/ graduate/ graduation.png") | pictureList.kif 469-469 | |
| (subclass Graduation LeavingAnOrganization) | Merge.kif 10731-10731 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Graduation "毕业") | chinese_format.kif 1099-1099 | |
| (termFormat EnglishLanguage Graduation "graduation") | english_format.kif 1415-1415 | |
| (termFormat FrenchLanguage Graduation "recevoir un dipl�me") | french_format.kif 777-777 | |
| (termFormat Hindi Graduation "snaatakataa") | terms-hindi.txt 309-309 | |
| (termFormat ItalianLanguage Graduation "ConseguimentoDiplomiAccademici") | terms-it.txt 312-312 | |
| (termFormat JapaneseLanguage Graduation "卒業") | japanese_format.kif 2461-2461 | |
| (termFormat PortugueseLanguage Graduation "Graduacao") | portuguese_format.kif 729-729 | |
| (termFormat cb Graduation "paggrawar") | terms-cb.txt 314-314 | |
| (termFormat cz Graduation "graduation") | terms-cz.txt 348-348 | |
| (termFormat ro Graduation "absolvire a unei ºcoli") | relations-ro.kif 798-798 | |
| (termFormat tg Graduation "pagtatapos") | terms-tg.txt 313-313 |
| antecedent |
|
|
| (=> (and (instance ?GRAD Graduation) (agent ?GRAD ?ORG)) (instance ?ORG EducationalOrganization)) |
Merge.kif 10736-10740 |
| consequent |
|
|
| (=> (and (instance ?E Matriculation) (agent ?E ?C) (patient ?E ?P) (instance ?C College)) (exists (?G ?S) (and (instance ?G Graduation) (agent ?G ?S) (patient ?G ?P) (instance ?S SecondarySchool) (earlier (WhenFn ?G) (WhenFn ?E))))) |
Mid-level-ontology.kif 16908-16920 | |
| (=> (and (instance ?ENTER Matriculation) (agent ?ENTER ?COLLEGE) (patient ?ENTER ?STUDENT) (instance ?COLLEGE College)) (exists (?GRAD ?SCHOOL) (and (instance ?GRAD Graduation) (agent ?GRAD ?SCHOOL) (patient ?GRAD ?STUDENT) (instance ?SCHOOL HighSchool) (earlier (WhenFn ?GRAD) (WhenFn ?ENTER))))) |
Mid-level-ontology.kif 16889-16901 |
|
|
|
