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 |
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 |