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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtifactMediatedCommunication

 Sigma KEE - ArtifactMediatedCommunication
ArtifactMediatedCommunication(artifact mediated communication)electronic_communication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26998-27000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26997-26997 Artifact mediated communication is a subclass of communication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2983-2983 Fax is a subclass of artifact mediated communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27010-27010 Telephone communication is a subclass of artifact mediated communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27001-27001

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


No TPTP formula. May not be expressible in strict first order. 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