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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtifactMediatedCommunication

Sigma KEE - ArtifactMediatedCommunication
ArtifactMediatedCommunication

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


(documentation ArtifactMediatedCommunication EnglishLanguage "ArtifactMediatedCommunication refers to Communication that uses some Artifact as an instrument or path for the Transfer of messages or information") Mid-level-ontology.kif 26998-27000
(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 26997-26997 ArtifactMediatedCommunication e' uma sub-classe de Communicacao

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


(subclass Fax ArtifactMediatedCommunication) Mid-level-ontology.kif 2983-2983 Fax e' uma sub-classe de ArtifactMediatedCommunication
(subclass TelephoneCommunication ArtifactMediatedCommunication) Mid-level-ontology.kif 27010-27010 TelephoneCommunication e' uma sub-classe de ArtifactMediatedCommunication
(termFormat EnglishLanguage ArtifactMediatedCommunication "artifact mediated communication") Mid-level-ontology.kif 27001-27001

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


(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 27003-27008


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