| 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 |
|
|
| (=> (and (instance ?MODEM CableModem) (instance ?COMM Communication) (instrument ?COMM ?MODEM)) (exists (?CABLE) (and (instance ?CABLE Cable) (instrument ?COMM ?CABLE) (connectedEngineeringComponents ?CABLE ?MODEM)))) |
ComputerInput.kif 577-586 | 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 4480-4487 | 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 ?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 13221-13230 | 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 |
| (=> (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 ?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 6421-6425 | 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 ?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 13465-13476 | 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 3426-3428 | 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 8792-8799 | 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 27474-27495 | 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 29048-29054 | 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 29692-29714 | 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 ?ER ExpenseReport) (hasPurpose ?ER (exists (?COMM) (and (instance ?COMM Communication) (instrument ?COMM ?ER))))) |
TravelPolicies.kif 614-620 | 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 |
|
|
|