| 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 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?COMMUNICATE Communication) (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2) (and (refers ?PHYS ?ENTITY) (patient ?COMMUNICATE ?PHYS) (instance ?AGENT1 CognitiveAgent) (agent ?COMMUNICATE ?AGENT1) (instance ?AGENT2 CognitiveAgent) (destination ?COMMUNICATE ?AGENT2)))) |
Merge.kif 13343-13352 | If X is an instance of communication, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y includes a reference to Z (3) Y is a patient of X (4) W is an instance of cognitive agent (5) W is an agent of X (6) V is an instance of cognitive agent (7) X ends up at V |
| (=> (and (instance ?MODEM CableModem) (instance ?COMM Communication) (instrument ?COMM ?MODEM)) (exists (?CABLE) (and (instance ?CABLE Cable) (instrument ?COMM ?CABLE) (connectedEngineeringComponents ?CABLE ?MODEM)))) |
ComputerInput.kif 593-602 | If X is an instance of cable modem, Y is an instance of communication, and X is an instrument for Y, then there exists Z such that Z is an instance of cable, Z is an instrument for Y, and Z is connected to X |
| (=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP)) |
Geography.kif 4457-4464 | If X is an instance of proposition, Y is an instance of content bearing object, Y contains information X, Z is an instance of communication, and Y is a patient of Z, then Z expresses X |
| (=> (instance ?C Communication) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?C ?PROP)))) |
TravelPolicies.kif 102-107 | If X is an instance of communication, then there exists Y such that Y is an instance of proposition and X contains information Y |
| consequent |
|
|
| (=> (instance ?MEET Meeting) (exists (?AGENT1 ?AGENT2) (and (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2) (hasPurpose ?MEET (exists (?COMM) (and (instance ?COMM Communication) (agent ?COMM ?AGENT1) (agent ?COMM ?AGENT2))))))) |
Merge.kif 13599-13610 | If X is an instance of meeting, then there exist Y, Z such that Y is an agent of X, Z is an agent of X, X has the purpose there exists W such that W is an instance of communication, Y is an agent of W, and Z is an agent of W |
| (=> (instance ?DEVICE CommunicationDevice) (capability Communication instrument ?DEVICE)) |
Mid-level-ontology.kif 3545-3547 | If X is an instance of communication device, then X is capable of doing communication as a instrument |
| (=> (instance ?CO CommunicationOrganization) (exists (?CS ?C) (and (instance ?C Communication) (instance ?CS CommunicationSystem) (instrument ?C ?CS) (agent ?C ?CO)))) |
Mid-level-ontology.kif 8868-8875 | If X is an instance of communication organization, then there exist Y, Z such that Z is an instance of communication, Y is an instance of communication system, Y is an instrument for Z, and X is an agent of Z |
| (=> (and (instance ?H Hotline) (telephoneNumber ?H ?O) (instance ?O Organization)) (hasPurpose ?H (exists (?T) (and (instance ?T Telephoning) (destination ?T ?O) (modalAttribute (exists (?C) (and (instance ?C Communication) (instrument ?C ?H) (equal (BeginFn (WhenFn ?C)) (BeginFn (ImmediateFutureFn (WhenFn ?T)))))) Likely))))) |
Mid-level-ontology.kif 27363-27384 | If X is an instance of hotline, X is the telephone number of Y, and Y is an instance of organization, then X has the purpose there exists Z such that Z is an instance of telephoning, Z ends up at Y, the statement there exists W such that W is an instance of communication, X is an instrument for W, equal the beginning of the time of existence of W, and the beginning of immediately after the time of existence of Z has the modal force of likely |
| (=> (instance ?DOC Document) (hasPurpose ?DOC (exists (?COMM) (and (instance ?COMM Communication) (instrument ?COMM ?DOC))))) |
Mid-level-ontology.kif 28906-28912 | If X is an instance of document, then X has the purpose there exists Y such that Y is an instance of communication and X is an instrument for Y |
| (=> (instance ?X OperatorAssistedTelephoneCommunication) (exists (?ORIGIN ?DEST ?OPERATOR) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (instance ?OPERATOR Human) (hasPurpose ?OPERATOR (exists (?PROC) (and (instance ?PROC IntentionalProcess) (agent ?PROC ?OPERATOR) (subProcess ?PROC ?X) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (modalAttribute (exists (?COMM) (and (instance ?COMM Communication) (origin ?COMM ?ORIGIN) (destination ?COMM ?DEST))) Possibility)))))))) |
Mid-level-ontology.kif 29591-29613 | If X is an instance of operator assisted telephone communication, then All of the following hold: (1) there exist Y, Z (2) W such that X originates at Y (3) X ends up at Z (4) W is an instance of human (5) W has the purpose there exists V such that V is an instance of intentional process (6) W is an agent of V (7) V is a subprocess of X (8) the statement there exists U such that U is an instance of communication (9) U originates at Y (10) U ends up at Z has the modal force of possibility holds during immediately after the time of existence of V |
| (=> (instance ?P Phishing) (exists (?FS ?V ?M ?I) (and (instance ?M Communication) (origin ?M ?FS) (agent ?P ?FS) (destination ?M ?V) (instance ?I Formula) (knows ?V ?I) (not (desires ?V (knows ?FS ?I))) (desires ?FS (knows ?FS ?I))))) |
ComputingBrands.kif 4141-4155 | If X is an instance of phishing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of communication (3) W originates at Y (4) Y is an agent of X (5) W ends up at Z (6) V is an instance of formula (7) Z knows V (8) Z doesn't desire Y doesn't know V (9) Y desires Y knows V |
| (=> (and (engineeringSubcomponent ?DEVICE1 Internet) (engineeringSubcomponent ?DEVICE2 Internet) (not (equal ?DEVICE1 ?DEVICE2))) (hasPurpose Internet (exists (?COMM) (and (instance ?COMM Communication) (agent ?COMM ?DEVICE1) (destination ?COMM ?DEVICE2) (instrument ?COMM Internet))))) |
Hotel.kif 1358-1369 | If X is a component of internet, Y is a component of internet, and equal X and Y, then internet has the purpose there exists Z such that Z is an instance of communication, X is an agent of Z, Z ends up at Y, and internet is an instrument for Z |
| (=> (holdsDuring ?T (attribute ?H AVPUAlertStatus)) (holdsDuring ?T (capability ?H agent Communication))) |
Medicine.kif 6474-6478 | If AVPU alert status is an attribute of X holds during Y, then communication is capable of doing X as a agent holds during Y |
| (=> (instance ?ER ExpenseReport) (hasPurpose ?ER (exists (?COMM) (and (instance ?COMM Communication) (instrument ?COMM ?ER))))) |
TravelPolicies.kif 604-610 | If X is an instance of ExpenseReport, then X has the purpose there exists Y such that Y is an instance of communication and X is an instrument for Y |
|
|
|