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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Communication
Communication(communication)
AM, FM, Hadith, Rediffusion, Word_of_God, aah, abandon, abduce, abjure, absolve, absorb, abuse, accent, accentuate, access, accost, acknowledge, acquaint, actualise, actualize, address, adduce, admonish, adulate, adumbrate, advert, affirm, affront, agglutinate, aggrandise, aggrandize, aim, airing, alarmism, alert, alerting, allude, amplitude_modulation, anathemise, anathemize, animadversion, animadvert, announce, annul, annunciate, anomalous_communication, answer, answering, antic, anticipate...

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


s__documentation(s__Communication,s__ChineseLanguage,'"这是一种涉及两个或以上的 CognitiveAgent 之间 传递信息的 SocialInteraction。注:Communication 十分接近,却又在本质上异于 ContentDevelopment。后者涉及创作或修改一篇 ContentBearingObject,而 Communication 则是为了 传达消息而转移信息。"')

chinese_format.kif 3239-3242
s__documentation(s__Communication,s__EnglishLanguage,'"A SocialInteraction that involves the transfer of information between two or more CognitiveAgents. Note that Communication is closely related to, but essentially different from, ContentDevelopment. The latter involves the creation or modification of a ContentBearingObject, while Communication is the transfer of information for the purpose of conveying a message."')

Merge.kif 12382-12387
s__externalImage(s__Communication,'"http://upload.wikimedia.org/wikipedia/en/8/ 8c/ North-America.png"')

pictureList.kif 6305-6305
s__partition__7(s__Communication,s__Stating,s__Supposing,s__Directing,s__Committing,s__Expressing,s__Declaring)

Merge.kif 12380-12380 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
s__relatedInternalConcept(s__Communication,s__CommunicationDevice)

Mid-level-ontology.kif 2876-2876 Communication is internally related to communication device
s__relatedInternalConcept(s__Communication,s__ContentDevelopment)

Merge.kif 12381-12381 Communication is internally related to content development
s__subclass(s__Communication,s__ContentBearingProcess)

s__instance(s__Communication,s__SetOrClass)

s__instance(s__ContentBearingProcess,s__SetOrClass)

Merge.kif 12379-12379 Communication is a subclass of content bearing process
s__instance(s__Communication,s__SetOrClass)

s__subclass(s__Communication,s__SocialInteraction)

s__instance(s__SocialInteraction,s__SetOrClass)

Merge.kif 12378-12378 Communication is a subclass of social interaction

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


s__subclass(s__ArtifactMediatedCommunication,s__Communication)

s__instance(s__Communication,s__SetOrClass)

s__instance(s__ArtifactMediatedCommunication,s__SetOrClass)

Mid-level-ontology.kif 25141-25141 Artifact mediated communication is a subclass of communication
s__instance(s__Disseminating,s__SetOrClass)

s__instance(s__Communication,s__SetOrClass)

s__subclass(s__Disseminating,s__Communication)

Merge.kif 12400-12400 Disseminating is a subclass of communication
s__instance(s__Communication,s__SetOrClass)

s__instance(s__Expressing,s__SetOrClass)

s__subclass(s__Expressing,s__Communication)

Merge.kif 12452-12452 Expressing is a subclass of communication
s__instance(s__Gesture,s__SetOrClass)

s__subclass(s__Gesture,s__Communication)

s__instance(s__Communication,s__SetOrClass)

Merge.kif 12435-12435 Gesture is a subclass of communication
s__instance(s__Communication,s__SetOrClass)

s__instance(s__InPersonCommunication,s__SetOrClass)

s__subclass(s__InPersonCommunication,s__Communication)

Media.kif 218-218 InPersonCommunication is a subclass of communication
s__instance(s__Communication,s__SetOrClass)

s__instance(s__Indicating,s__SetOrClass)

s__subclass(s__Indicating,s__Communication)

Mid-level-ontology.kif 956-956 Indicating is a subclass of communication
s__instance(s__Communication,s__SetOrClass)

s__subclass(s__LinguisticCommunication,s__Communication)

s__instance(s__LinguisticCommunication,s__SetOrClass)

Merge.kif 12470-12470 Linguistic communication is a subclass of communication
s__instance(s__Telephoning,s__SetOrClass)

s__instance(s__Communication,s__SetOrClass)

s__subclass(s__Telephoning,s__Communication)

Mid-level-ontology.kif 2891-2891 Telephoning is a subclass of communication
s__termFormat(s__ChineseLanguage,s__Communication,'"沟通"')

chinese_format.kif 1195-1195
s__termFormat(s__EnglishLanguage,s__Communication,'"communication"')

english_format.kif 1612-1612

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


( ! [V__MODEM,V__COMM] :
   (((s__instance(V__MODEM,s__CableModem) &
         s__instance(V__COMM,s__Communication) &
         s__instrument(V__COMM,V__MODEM))
     =>
     (( ? [V__CABLE] :
         ((s__instance(V__CABLE,s__Cable) &
             s__instrument(V__COMM,V__CABLE)
           &
           s__connectedEngineeringComponents(V__CABLE,V__MODEM))))))
)
)

ComputerInput.kif 605-614
( ! [V__CBO,V__COMM,V__PROP] :
   (((s__instance(V__PROP,s__Proposition) &
         s__instance(V__CBO,s__ContentBearingObject) &
         s__containsInformation(V__CBO,V__PROP)
       &
       s__instance(V__COMM,s__Communication) &
       s__patient(V__COMM,V__CBO))
   =>
   (s__represents(V__COMM,V__PROP)))
)
)

Geography.kif 2906-2913
( ! [V__COMMUNICATE] :
   ((s__instance(V__COMMUNICATE,s__Communication) =>
       (( ? [V__PHYS, V__ENTITY, V__AGENT1, V__AGENT2] :
           ((s__refers(V__PHYS,V__ENTITY)
             &
             s__patient(V__COMMUNICATE,V__PHYS)
           &
           s__instance(V__AGENT1,s__CognitiveAgent) &
           s__agent(V__COMMUNICATE,V__AGENT1)
         &
         s__instance(V__AGENT2,s__CognitiveAgent) &
         s__destination(V__COMMUNICATE,V__AGENT2))))))
)
)

Merge.kif 12389-12398

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1312-1323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23199-23220
( ! [V__CO] :
   ((s__instance(V__CO,s__CommunicationOrganization) =>
       (( ? [V__CS, V__C] :
           ((s__instance(V__C,s__Communication) &
               s__instance(V__CS,s__CommunicationSystem) &
               s__instrument(V__C,V__CS)
             &
             s__agent(V__C,V__CO))))))
)
)

Mid-level-ontology.kif 6949-6956
( ! [V__DEVICE] :
   ((s__instance(V__DEVICE,s__CommunicationDevice) =>
       (s__capability(s__Communication,s__instrument__m,V__DEVICE)))
   )
)

Mid-level-ontology.kif 2878-2880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24524-24530
No TPTP formula. May not be expressible in strict first order. Merge.kif 12633-12644
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4206-4220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25179-25201


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