TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SocialInteraction ChineseLanguage "这是由 CognitiveAgent 之间互动交流的 IntentionalProcess的 subclass。")	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

例 Process and SocialInteraction
Entity Entity Entity 是事件 Process 的 involved Entity 是事件 Process 的 involved 例 Entity and AutonomousAgent 例 Entity and AutonomousAgent 等於 Entity and Entity

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 是事件 Process 的 involved Entity2 是事件 Process 的 involved
(=> (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	例 Entity and 公告 Process Physical 例 Process and ContentDevelopment 結果 Process and Entity 參照 Entity and Physical 例 Physical and SocialInteraction 早期何時 Process and 何時 Physical
(=> (instance ?A AutonomousAgent) (capability SocialInteraction agent ?A))	Merge.kif 13061-13063	例 Object and AutonomousAgent 能力 SocialInteraction, agent and Object

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

KB Term:			Term intersection

English Word: