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

Formal Language: 



KB Term:  Term intersection
English Word: 

  chanceryMailingAddressInArea

Sigma KEE - SocialInteraction
SocialInteractionعلاقة, عادة, عُرْف, تقْلِيد, اِسْتِعْباد, عُبُودِيّة, رِقّ, مُحَالَفَة, تَحَالُف, ضبْط اِجْتِماعِي, مُراقبة اِجْتِماعِيّة, تحكُّم اِجْتِماعِي, إِنْدِماج, تَنْشِئَة, تَرْبِيَة, قبلِيّة...

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


(documentation SocialInteraction ChineseLanguage "这是由 CognitiveAgent 之间互动交流的 IntentionalProcesssubclass。") Merge.kif 12880-12881
(documentation SocialInteraction EnglishLanguage "The subclass of IntentionalProcess that involves interactions between CognitiveAgents.") Merge.kif 12877-12879
(subclass SocialInteraction IntentionalProcess) Merge.kif 12876-12876

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


(subclass Befriending SocialInteraction) Facebook.kif 401-401
(subclass Ceremony SocialInteraction) Mid-level-ontology.kif 7630-7630
(subclass ChangeOfPossession SocialInteraction) Merge.kif 11535-11535
(subclass Communication SocialInteraction) Merge.kif 12912-12912
(subclass Contest SocialInteraction) Merge.kif 13227-13227
(subclass Cooperation SocialInteraction) Merge.kif 13185-13185
(subclass Famine SocialInteraction) Geography.kif 6119-6119
(subclass FreshwaterOverutilization SocialInteraction) Geography.kif 2656-2656
(subclass Friending SocialInteraction) Facebook.kif 359-359
(subclass Helping SocialInteraction) MilitaryProcesses.kif 1402-1402
(subclass Meeting SocialInteraction) Merge.kif 13199-13199
(subclass PlacingUnderArrest SocialInteraction) Mid-level-ontology.kif 21350-21350
(subclass Pollution SocialInteraction) Geography.kif 2732-2732
(subclass Pretending SocialInteraction) Merge.kif 12894-12894
(subclass ServiceProcess SocialInteraction) Merge.kif 11763-11763
(subclass SoilDegradation SocialInteraction) Geography.kif 2785-2785
(subclass Unfriending SocialInteraction) Facebook.kif 380-380
(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
(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 405-405
(termFormat PortugueseLanguage SocialInteraction "Interacao Social") portuguese_format.kif 823-823

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 Agent)
            (instance ?AGENT2 Agent)
            (not
                (equal ?AGENT1 ?AGENT2)))))
Merge.kif 12883-12892

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 28294-28305
(=>
    (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