No TPTP formula. May not be expressible in strict first order. | Merge.kif 13034-13034 | Communication is a subclass of social interaction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13035-13035 | Communication is a subclass of content bearing process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1016-1016 | Indicating is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2959-2959 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27009-27009 | Artifact mediated communication is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13056-13056 | Disseminating is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13091-13091 | Gesture is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13108-13108 | Expressing is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13126-13126 | Linguistic communication is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Media.kif 218-218 | In person communication is a subclass of communication |