Communication(communication)![]() | ![]() | AM, FM, Hadith, Rediffusion, Word_of_God, aah, abandon, abduce, abjure, absolve, absorb, abuse, accent, accentuate, access, accost, acknowledge, acquaint, actualise, actualize, address, adduce, adulate, adumbrate, advert, affirm, agglutinate, aggrandise, aggrandize, aim, airing, alarmism, alert, alerting, allude, amplitude_modulation, anathemise, anathemize, animadversion, animadvert, announce, annul, annunciate, anomalous_communication, answer, answering, antic, anticipate, ape, aphorise... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3239-3242 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13192-13197 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6303-6303 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13190-13190 | Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3407-3407 | Communication is internally related to communication device |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13191-13191 | Communication is internally related to content development |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13189-13189 | Communication is a subclass of content bearing process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13188-13188 | Communication is a subclass of social interaction |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28908-28908 | Artifact mediated communication is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13210-13210 | Disseminating is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13262-13262 | Expressing is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13245-13245 | Gesture 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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1009-1009 | Indicating is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13280-13280 | Linguistic communication is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3422-3422 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1195-1195 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1607-1607 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 873-873 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 406-406 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 409-409 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2557-2557 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 825-825 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 411-411 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 445-445 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 704-704 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 894-894 | Telephoning is a subclass of communication |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 410-410 | Telephoning is a subclass of communication |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |