Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Vacuum
|
|
|
| appearance as argument number 1 |
|
|
| (instance Vacuum InternalAttribute) | Cars.kif 316-316 | Vacuum is an instance of internal attribute |
| (documentation Vacuum EnglishLanguage "An area of space in which does not contain any matter.") | Cars.kif 318-319 | Vacuum is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Vacuum "vacuum") | Cars.kif 317-317 |
| antecedent |
|
|
| (=> (and (instance ?X Region) (attribute ?X Vacuum)) (not (exists (?O) (and (instance ?O Object) (located ?O ?X))))) |
Cars.kif 321-329 | If X is an instance of region and vacuum is an attribute of X, then there doesn't exist Y such that Y is an instance of object and Y is located at X |
| (=> (and (instance ?R RadiatingLight) (eventLocated ?R ?O) (attribute ?O Vacuum)) (measure ?R SpeedOfLight)) |
Transportation.kif 5568-5573 | If X is an instance of radiating light, X is located at Y, and vacuum is an attribute of Y, then the measure of X is speed of light in vacuum |
|