ArtifactMediatedCommunication - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Fax ArtifactMediatedCommunication)	Mid-level-ontology.kif 3610-3610	Fax is a subclass of artifact mediated communication
(termFormat EnglishLanguage ArtifactMediatedCommunication "artifact mediated communication")	Mid-level-ontology.kif 29607-29607	Fax is a subclass of artifact mediated communication
(subclass TelephoneCommunication ArtifactMediatedCommunication)	Mid-level-ontology.kif 29616-29616	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