Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PersonalComputer(personal computer) |
| appearance as argument number 1 |
|
| (subclass PersonalComputer EntertainmentAppliance) | HouseholdAppliances.kif 414-414 | Personal computer is a subclass of entertainment appliance |
| (subclass PersonalComputer ElectricDevice) | HouseholdAppliances.kif 415-415 | Personal computer is a subclass of electric device |
| (subclass PersonalComputer HomeOfficeAppliance) | HouseholdAppliances.kif 416-416 | Personal computer is a subclass of home office appliance |
| (subclass PersonalComputer Computer) | HouseholdAppliances.kif 417-417 | Personal computer is a subclass of computer |
| (documentation PersonalComputer EnglishLanguage "A general_purpose computer useful for, and intended to use by an individual person. That includes Pocket PC, Home media PC, Tablets, Netbooks, Desktops, Workscations, etc.") | HouseholdAppliances.kif 418-418 | Personal computer is a subclass of computer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?COMPUTER PersonalComputer) (hasPurpose ?COMPUTER (exists (?PERSON ?PROCESS) (and (instance ?PERSON Human) (instance ?PROCESS Process) (agent ?PROCESS Human) (instrument ?PROCESS ?COMPUTER))))) |
HouseholdAppliances.kif 422-430 | If X is an instance of personal computer, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of process, human is an agent of Z, and X is an instrument for Z |
|