Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Commenting(commenting) |  | comment |
| appearance as argument number 1 |
|
|
| (subclass Commenting IntentionalProcess) | Mid-level-ontology.kif 17493-17493 | 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 17494-17495 | Commenting is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Commenting "commenting") | Mid-level-ontology.kif 17496-17496 |
| 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 17498-17511 | 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 17519-17525 | 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 |
|