| Commenting(commenting) | | comment |
| appearance as argument number 1 |
|
|
| (subclass Commenting IntentionalProcess) | Mid-level-ontology.kif 17423-17423 | Commenting is a subclass of intentional process |
| (documentation Commenting EnglishLanguage "Commenting is an IntentionalProcess where an AutonomousAgent speaks about a Process it is Looking at.") | Mid-level-ontology.kif 17424-17425 | Commenting is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Commenting "commenting") | Mid-level-ontology.kif 17426-17426 |
| antecedent |
|
|
| (=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT AutonomousAgent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 17428-17441 | If X is an instance of commenting, Y is an instance of process, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of agent (3) W is an instance of speaking (4) V is an instance of looking (5) Z is an agent of W (6) Z is an agent of V (7) Y is a patient of V (8) W includes a reference to Y |
| consequent |
|
|
| (=> (commentator ?AGENT ?PROCESS) (exists (?COMMENTING) (and (instance ?COMMENTING Commenting) (agent ?COMMENTING ?AGENT) (patient ?COMMENTING ?PROCESS)))) |
Mid-level-ontology.kif 17449-17455 | If X comments about Y, then there exists Z such that Z is an instance of commenting, X is an agent of Z, and Y is a patient of Z |
|
|
|