Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ITAgent(IT agent) |
| appearance as argument number 1 |
|
| (documentation ITAgent EnglishLanguage "agent capable of performing ITProcess") | engineering.kif 1730-1730 | |
| (subclass ITAgent AutonomousAgent) | engineering.kif 1731-1731 | IT agent is a subclass of agent |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?P PhasedArrayAntenna) (instance ?G Guiding) (patient ?G ?P) (agent ?G ?A)) (instance ?A ITAgent)) |
Transportation.kif 5402-5408 | If X is an instance of phased array attenna, Y is an instance of guiding, X is a patient of Y, and Z is an agent of Y, then Z is an instance of IT agent |
| (=> (instance ?PROCESS ITProcess) (exists (?AGENT ?PATIENT) (and (agent ?PROCESS ?AGENT) (patient ?PROCESS ?PATIENT) (instance ?AGENT ITAgent) (instance ?PATIENT Computer)))) |
engineering.kif 1736-1743 | If X is an instance of IT process, then there exist Y, Z such that Y is an agent of X, Z is a patient of X, Y is an instance of IT agent, and Z is an instance of computer |
|