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。") chinese_format.kif 3234-3235
(documentation SocialInteraction EnglishLanguage "The subclass of IntentionalProcess that involves interactions between CognitiveAgents.") Merge.kif 13046-13048
(subclass SocialInteraction IntentionalProcess) Merge.kif 13045-13045 子類 SocialInteraction and IntentionalProcess

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


(subclass Ceremony SocialInteraction) Mid-level-ontology.kif 7948-7948 子類 Ceremony and SocialInteraction
(subclass ChangeOfPossession SocialInteraction) Merge.kif 11687-11687 子類 ChangeOfPossession and SocialInteraction
(subclass Communication SocialInteraction) Merge.kif 13080-13080 子類 Communication and SocialInteraction
(subclass Contest SocialInteraction) Merge.kif 13348-13348 子類 Contest and SocialInteraction
(subclass Cooperation SocialInteraction) Merge.kif 13310-13310 子類 Cooperation and SocialInteraction
(subclass Famine SocialInteraction) Geography.kif 6796-6796 子類 飢荒 and SocialInteraction
(subclass FreshWaterOverutilization SocialInteraction) Geography.kif 2728-2728 子類 淡水過度利用 and SocialInteraction
(subclass Gaslighting SocialInteraction) Medicine.kif 3649-3649 子類 Gaslighting and SocialInteraction
(subclass Helping SocialInteraction) MilitaryProcesses.kif 1414-1414 子類 幫助 and SocialInteraction
(subclass Meeting SocialInteraction) Merge.kif 13322-13322 子類 Meeting and SocialInteraction
(subclass PlacingUnderArrest SocialInteraction) Mid-level-ontology.kif 23522-23522 子類 被捕 and SocialInteraction
(subclass Pollution SocialInteraction) Geography.kif 2805-2805 子類 污染 and SocialInteraction
(subclass Pretending SocialInteraction) Merge.kif 13065-13065 子類 Pretending and SocialInteraction
(subclass ServiceProcess SocialInteraction) Merge.kif 11910-11910 子類 服務 and SocialInteraction
(subclass SoilDegradation SocialInteraction) Geography.kif 2938-2938 子類 土壤退化 and SocialInteraction
(subclass WaterOverutilization SocialInteraction) Geography.kif 2968-2968 子類 水過度使用 and SocialInteraction
(termFormat ChineseLanguage SocialInteraction "社交") chinese_format.kif 1193-1193
(termFormat EnglishLanguage SocialInteraction "social interaction") english_format.kif 1603-1603
(termFormat FrenchLanguage SocialInteraction "interaction social") french_format.kif 871-871
(termFormat Hindi SocialInteraction "saamaajika antah kriyaa") terms-hindi.txt 404-404
(termFormat ItalianLanguage SocialInteraction "InterazioneSociale") terms-it.txt 407-407
(termFormat JapaneseLanguage SocialInteraction "社会的交流") japanese_format.kif 2555-2555
(termFormat PortugueseLanguage SocialInteraction "Interacao Social") portuguese_format.kif 823-823
(termFormat cz SocialInteraction "social interaction") terms-cz.txt 443-443

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?INTERACTION SocialInteraction)
    (exists (?AGENT1 ?AGENT2)
        (and
            (involvedInEvent ?INTERACTION ?AGENT1)
            (involvedInEvent ?INTERACTION ?AGENT2)
            (instance ?AGENT1 AutonomousAgent)
            (instance ?AGENT2 AutonomousAgent)
            (not
                (equal ?AGENT1 ?AGENT2)))))
Merge.kif 13050-13059

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


(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 AutonomousAgent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 30247-30260 持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 Entity2 and AutonomousAgent Process and SocialInteraction 期間 何時 Process and TimeInterval Entity 是事件 Processinvolved Entity2 是事件 Processinvolved
(=>
    (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 14550-14560
(=>
    (instance ?A AutonomousAgent)
    (capability SocialInteraction agent ?A))
Merge.kif 13061-13063


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 3.0 is open source software produced by Articulate Software and its partners