Graduation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Graduation

Graduation(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	Graduation is a subclass of leaving an organization

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

If a process is an instance of graduation and an agent is an agent of the process,
then the agent is an instance of educational organization

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	If a process is an instance of matriculation and an agent is an agent of the process and an entity is a patient of the process and the agent is an instance of college, then there exist another process and another agent such that the other process is an instance of graduation and the other agent is an agent of the other process and the entity is a patient of the other process and the other agent is an instance of secondary school and the time of existence of the other process happens earlier than the time of existence of the process
(=> (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	If a process is an instance of matriculation and an agent is an agent of the process and an entity is a patient of the process and the agent is an instance of college, then there exist another process and another agent such that the other process is an instance of graduation and the other agent is an agent of the other process and the entity is a patient of the other process and the other agent is an instance of high school and the time of existence of the other process happens earlier than the time of existence of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners