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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 13139-13141
(subclass SocialInteraction IntentionalProcess) Merge.kif 13138-13138 社会的交流意図的なプロセスsubclass では

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


(subclass Ceremony SocialInteraction) Mid-level-ontology.kif 9088-9088 Ceremony社会的交流subclass では
(subclass ChangeOfPossession SocialInteraction) Merge.kif 11776-11776 所有権の変更社会的交流subclass では
(subclass Communication SocialInteraction) Merge.kif 13173-13173 コミュニケーション社会的交流subclass では
(subclass Contest SocialInteraction) Merge.kif 13441-13441 コンテスト社会的交流subclass では
(subclass Cooperation SocialInteraction) Merge.kif 13403-13403 協力社会的交流subclass では
(subclass Famine SocialInteraction) Geography.kif 6962-6962 Famine社会的交流subclass では
(subclass FreshWaterOverutilization SocialInteraction) Geography.kif 2716-2716 FreshWaterOverutilization社会的交流subclass では
(subclass Gaslighting SocialInteraction) Medicine.kif 3652-3652 Gaslighting社会的交流subclass では
(subclass Helping SocialInteraction) MilitaryProcesses.kif 1414-1414 Helping社会的交流subclass では
(subclass Meeting SocialInteraction) Merge.kif 13415-13415 会合社会的交流subclass では
(subclass PlacingUnderArrest SocialInteraction) Mid-level-ontology.kif 25113-25113 PlacingUnderArrest社会的交流subclass では
(subclass Pollution SocialInteraction) Geography.kif 2793-2793 Pollution社会的交流subclass では
(subclass Pretending SocialInteraction) Merge.kif 13158-13158 ふり社会的交流subclass では
(subclass ServiceProcess SocialInteraction) Merge.kif 11999-11999 ServiceProcess社会的交流subclass では
(subclass SoilDegradation SocialInteraction) Geography.kif 2926-2926 SoilDegradation社会的交流subclass では
(subclass WaterOverutilization SocialInteraction) Geography.kif 2956-2956 WaterOverutilization社会的交流subclass では
(termFormat ChineseLanguage SocialInteraction "社交") chinese_format.kif 1193-1193 WaterOverutilization社会的交流subclass では
(termFormat EnglishLanguage SocialInteraction "social interaction") english_format.kif 1603-1603 WaterOverutilization社会的交流subclass では
(termFormat FrenchLanguage SocialInteraction "interaction social") french_format.kif 871-871 WaterOverutilization社会的交流subclass では
(termFormat Hindi SocialInteraction "saamaajika antah kriyaa") terms-hindi.txt 404-404 WaterOverutilization社会的交流subclass では
(termFormat ItalianLanguage SocialInteraction "InterazioneSociale") terms-it.txt 407-407 WaterOverutilization社会的交流subclass では
(termFormat JapaneseLanguage SocialInteraction "社会的交流") japanese_format.kif 2555-2555 WaterOverutilization社会的交流subclass では
(termFormat PortugueseLanguage SocialInteraction "Interacao Social") portuguese_format.kif 823-823 WaterOverutilization社会的交流subclass では
(termFormat cz SocialInteraction "social interaction") terms-cz.txt 443-443 WaterOverutilization社会的交流subclass では

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 13143-13152

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 32143-32156 Alone エンティティーattribute では は 時間間隔during holds エンティティー2 工程 エンティティー エンティティー2 と equal では エンティティー2 は AutonomousAgentinstance では 工程社会的交流instance では 工程time の existence は 時間間隔during に takes involvedInEvent 工程 and エンティティー involvedInEvent 工程 and エンティティー2
(=>
    (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 15894-15904
(=>
    (instance ?A AutonomousAgent)
    (capability SocialInteraction agent ?A))
Merge.kif 13154-13156


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