Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| penetrates |
| appearance as argument number 1 |
|
| (subrelation penetrates traverses) | Merge.kif 4318-4318 | penetrates is a subrelation of traverses |
| (domain penetrates 1 Object) | Merge.kif 4319-4319 | The number 1 argument of penetrates is an instance of object |
| (domain penetrates 2 Object) | Merge.kif 4320-4320 | The number 2 argument of penetrates is an instance of object |
| (instance penetrates AsymmetricRelation) | Merge.kif 4322-4322 | penetrates is an instance of asymmetric relation |
| (instance penetrates IntransitiveRelation) | Merge.kif 4323-4323 | penetrates is an instance of intransitive relation |
| (instance penetrates PartialValuedRelation) | Merge.kif 4324-4324 | penetrates is an instance of partial valued relation |
| (documentation penetrates EnglishLanguage "(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth).") | Merge.kif 4326-4328 | penetrates is an instance of partial valued relation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage penetrates "penetrates") | domainEnglishFormat.kif 45011-45011 | |
| (termFormat ChineseTraditionalLanguage penetrates "滲透") | domainEnglishFormat.kif 45012-45012 | |
| (termFormat ChineseLanguage penetrates "渗透") | domainEnglishFormat.kif 45013-45013 | |
| (format EnglishLanguage penetrates "%1 %n{doesn't} penetrate%p{s} %2") | english_format.kif 218-218 |
| antecedent |
|
|
| (=> (penetrates ?X ?Y) (meetsSpatially ?X ?Y)) |
Merge.kif 4330-4332 | If X penetrates Y, then X meets Y |
| consequent |
|
|
| (=> (traverses ?OBJ1 ?OBJ2) (or (crosses ?OBJ1 ?OBJ2) (penetrates ?OBJ1 ?OBJ2))) |
Merge.kif 4301-4305 | If X traverses Y, then X crosses Y or X penetrates Y |
| (=> (instance ?INLET Inlet) (exists (?LAND) (and (instance ?LAND LandArea) (penetrates ?INLET ?LAND)))) |
Geography.kif 6818-6823 | If X is an instance of inlet, then there exists Y such that Y is an instance of land area and X penetrates Y |
| (=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water)))) |
Geography.kif 7400-7405 | If X is an instance of peninsula, then there exists Y such that Y is an instance of water area and X penetrates Y |
| (=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion)))) |
Geography.kif 7411-7416 | If X is an instance of cape, then there exists Y such that Y is an instance of water area and X penetrates Y |
|