Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  attends

 Sigma KEE - attends
attends

appearance as argument number 1
-------------------------


(documentation attends ChineseLanguage "(attends ?DEMO ?PERSON)的意思是 ?PERSON 出席 ?DEMO 演出活动，即是成为听众。") Merge.kif 12976-12977
(documentation attends EnglishLanguage "(attends ?DEMO ?PERSON) means that ?PERSON attends, i.e. is a member of the audience, of the performance event ?DEMO.") Merge.kif 12974-12975
(domain attends 1 Demonstrating) Merge.kif 12972-12972
(domain attends 2 Human) Merge.kif 12973-12973
(instance attends CaseRole) Merge.kif 12970-12970
(instance attends PartialValuedRelation) Merge.kif 12971-12971
(subrelation attends experiencer) Merge.kif 12969-12969

appearance as argument number 2
-------------------------


(format EnglishLanguage attends "%2 attends %1") domainEnglishFormat.kif 717-717
(termFormat EnglishLanguage attends "attends") domainEnglishFormat.kif 1932-1932

antecedent
-------------------------


(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (AssociateDegreeFn ?FIELDOFSTUDY ?JC))
        (agent ?A ?JC)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?JC)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))		 LinkedInDegrees.kif 263-274
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 4 YearDuration)) Likely))		 LinkedInDegrees.kif 291-303
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (DoctorateDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
        (agent ?A ?GRADSCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (and
        (greaterThan
            (MeasureFn 9 YearDuration) ?INTERVAL)
        (greaterThan ?INTERVAL
            (MeasureFn 1 YearDuration))))		 LinkedInDegrees.kif 390-404
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (MasterDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
        (agent ?A ?GRADSCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))		 LinkedInDegrees.kif 335-347
(=>
    (and
        (instance ?S Student)
        (instance ?GRADSCHOOL GraduateSchool)
        (attends ?S ?GRADSCHOOL)
        (expectedDegree ?S
            (DoctorateDegreeFn ?FIELDOFSTUDY3 ?GRADSCHOOL2)))
    (and
        (possesses ?S
            (BachelorDegreeFn ?FIELDOFSTUDY1 ?SCHOOL))
        (modalAttribute
            (possesses ?S
                (MasterDegreeFn ?FIELDOFSTUDY2 ?GRADSCHOOL1)) Likely)))		 LinkedInDegrees.kif 377-386
(=>
    (and
        (instance ?S Student)
        (instance ?GRADSCHOOL GraduateSchool)
        (attends ?S ?GRADSCHOOL)
        (expectedDegree ?S
            (MasterDegreeFn ?FIELDOFSTUDY1 ?GRADSCHOOL)))
    (possesses ?S
        (BachelorDegreeFn ?FIELDOFSTUDY2 ?SCHOOL)))		 LinkedInDegrees.kif 351-357
(=>
    (and
        (instance ?S Student)
        (instance ?SCHOOL PostSecondarySchool)
        (attends ?S ?SCHOOL))
    (expectedDegree ?S
        (DegreeFn ?FIELDOFSTUDY ?SCHOOL)))		 LinkedInDegrees.kif 67-72
(=>
    (and
        (instance ?STUDENT Student)
        (instance ?SCHOOL School)
        (attends ?STUDENT ?SCHOOL)
        (instance ?GRADUATE Graduation)
        (exists (?YEAR ?TIMEINTERVAL1)
            (and
                (instance ?YEAR Year)
                (time ?TIMEINTERVAL1 ?GRADUATE)
                (agent ?GRADUATE ?SCHOOL)
                (patient ?GRADUATE ?STUDENT)
                (during ?TIMEINTERVAL1 ?YEAR))))
    (expectedYearOfGraduation ?STUDENT
        (YearFn ?YEAR)))		 LinkedInDegrees.kif 447-460
(=>
    (and
        (instance ?STUDENT1 Student)
        (instance ?STUDENT2 Student)
        (instance ?SCHOOL School)
        (attends ?STUDENT1 ?SCHOOL)
        (attends ?STUDENT2 ?SCHOOL)
        (instance ?YEAR Year)
        (expectedYearOfGraduation ?STUDENT1
            (YearFn ?YEAR))
        (expectedYearOfGraduation ?STUDENT2
            (YearFn ?YEAR)))
    (classmate ?STUDENT1 ?STUDENT2))		 LinkedInDegrees.kif 473-483

consequent
-------------------------


(=>
    (and
        (instance ?H Human)
        (instance ?A AwardingADegree)
        (patient ?A
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (destination ?A ?H)
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (instance ?INTERVAL TimeInterval)))
    (and
        (not
            (modalAttribute
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)) Necessity))
        (modalAttribute
            (attribute ?H Student) Unlikely)))		 LinkedInDegrees.kif 115-129
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (SubstantiveDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (instance ?INTERVAL TimeInterval)))
    (holdsDuring ?INTERVAL
        (attends ?S ?SCHOOL)))		 LinkedInDegrees.kif 236-246
(=>
    (instance ?DEMO Demonstrating)
    (exists (?PERSON)
        (attends ?DEMO ?PERSON)))		 Merge.kif 12964-12967


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners