Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IroningService(ironing service) |
| appearance as argument number 1 |
|
| (subclass IroningService ServiceProcess) | Hotel.kif 1867-1867 | Ironing service is a subclass of service |
| (documentation IroningService EnglishLanguage "IroningService refers to a ServiceProcess that includes the Ironing of some Clothing") | Hotel.kif 1869-1870 | Ironing service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IroningService "ironing service") | Hotel.kif 1871-1871 |
| antecedent |
|
|
| (=> (instance ?X IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X)))) |
Hotel.kif 1873-1880 | If X is an instance of ironing service, then there exist Y, Z such that Z is an instance of clothing, Y is an instance of ironing, Z is a patient of Y, and Y is a subprocess of X |
|