ArtifactMediatedCommunication - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ArtifactMediatedCommunication Communication)	Mid-level-ontology.kif 29672-29672	Artifact mediated communication is a subclass of communication
(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 29673-29675	Artifact mediated communication is a subclass of communication

appearance as argument number 2

(subclass Fax ArtifactMediatedCommunication)	Mid-level-ontology.kif 3463-3463	Fax is a subclass of artifact mediated communication
(termFormat EnglishLanguage ArtifactMediatedCommunication "artifact mediated communication")	Mid-level-ontology.kif 29676-29676	Fax is a subclass of artifact mediated communication
(subclass TelephoneCommunication ArtifactMediatedCommunication)	Mid-level-ontology.kif 29685-29685	Telephone communication is a subclass of artifact mediated communication

antecedent

(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))

If X is an instance of artifact mediated communication, then there exists Y such that Y is an instance of artifact and Y is an instrument for X