| Vacuum(vacuum) | | vacuity, vacuum |
| appearance as argument number 1 |
|
|
| (documentation Vacuum EnglishLanguage "An area of space in which does not contain any matter.") | Cars.kif 365-366 | |
| (instance Vacuum InternalAttribute) | Cars.kif 363-363 | Vacuum is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Vacuum "vacuum") | Cars.kif 364-364 |
| antecedent |
|
|
| (=> (and (instance ?X Region) (attribute ?X Vacuum)) (not (exists (?O) (and (instance ?O Object) (located ?O ?X))))) |
Cars.kif 368-376 |
|
|
|
|