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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialInteraction

Sigma KEE - SocialInteraction
SocialInteraction

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


(documentation SocialInteraction ChineseLanguage "这是由 CognitiveAgent 之间互动交流的 IntentionalProcesssubclass。") Merge.kif 12938-12939
(documentation SocialInteraction EnglishLanguage "The subclass of IntentionalProcess that involves interactions between CognitiveAgents.") Merge.kif 12935-12937
(subclass SocialInteraction IntentionalProcess) Merge.kif 12934-12934

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


(subclass Ceremony SocialInteraction) Mid-level-ontology.kif 7630-7630
(subclass ChangeOfPossession SocialInteraction) Merge.kif 11593-11593
(subclass Communication SocialInteraction) Merge.kif 12970-12970
(subclass Contest SocialInteraction) Merge.kif 13285-13285
(subclass Cooperation SocialInteraction) Merge.kif 13243-13243
(subclass Famine SocialInteraction) Geography.kif 6118-6118
(subclass FreshwaterOverutilization SocialInteraction) Geography.kif 2656-2656
(subclass Helping SocialInteraction) MilitaryProcesses.kif 1402-1402
(subclass Meeting SocialInteraction) Merge.kif 13257-13257
(subclass PlacingUnderArrest SocialInteraction) Mid-level-ontology.kif 21381-21381
(subclass Pollution SocialInteraction) Geography.kif 2732-2732
(subclass Pretending SocialInteraction) Merge.kif 12952-12952
(subclass ServiceProcess SocialInteraction) Merge.kif 11821-11821
(subclass SoilDegradation SocialInteraction) Geography.kif 2785-2785
(subclass WaterOverutilization SocialInteraction) Geography.kif 2815-2815
(termFormat ChineseLanguage SocialInteraction "社交") chinese_format.kif 1193-1193
(termFormat EnglishLanguage SocialInteraction "social interaction") english_format.kif 880-880

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


(=>
    (instance ?INTERACTION SocialInteraction)
    (exists (?AGENT1 ?AGENT2)
        (and
            (involvedInEvent ?INTERACTION ?AGENT1)
            (involvedInEvent ?INTERACTION ?AGENT2)
            (instance ?AGENT1 Agent)
            (instance ?AGENT2 Agent)
            (not
                (equal ?AGENT1 ?AGENT2)))))
Merge.kif 12941-12950

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


(<=>
    (holdsDuring ?T
        (attribute ?P Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 Agent)
                (instance ?SI SocialInteraction)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 28374-28385
(=>
    (instance ?A Announcement)
    (exists (?CD ?I)
        (and
            (instance ?CD ContentDevelopment)
            (result ?CD ?A)
            (refers ?A ?I)
            (instance ?I SocialInteraction)
            (earlier
                (WhenFn ?CD)
                (WhenFn ?I)))))
Mid-level-ontology.kif 12269-12279


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