Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| smaller |
| appearance as argument number 1 |
|
| (instance smaller BinaryPredicate) | Merge.kif 7947-7947 | smaller is an instance of binary predicate |
| (instance smaller SpatialRelation) | Merge.kif 7948-7948 | smaller is an instance of spatial relation |
| (instance smaller TotalValuedRelation) | Merge.kif 7949-7949 | smaller is an instance of total valued relation |
| (instance smaller TransitiveRelation) | Merge.kif 7950-7950 | smaller is an instance of transitive relation |
| (instance smaller IrreflexiveRelation) | Merge.kif 7951-7951 | smaller is an instance of irreflexive relation |
| (domain smaller 1 Object) | Merge.kif 7952-7952 | The number 1 argument of smaller is an instance of object |
| (domain smaller 2 Object) | Merge.kif 7953-7953 | The number 2 argument of smaller is an instance of object |
| (inverse smaller larger) | Merge.kif 7954-7954 | smaller is an inverse of larger |
| (documentation smaller EnglishLanguage "(smaller ?OBJ1 ?OBJ2) means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2.") | Merge.kif 7956-7957 | smaller is an inverse of larger |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?SEA Ocean) (not (equal ?SEA ArcticOcean))) (smaller ArcticOcean ?SEA)) |
Geography.kif 6185-6189 | If X is an instance of ocean and equal X and arctic ocean, then arctic ocean is smaller than X |
| (=> (and (instance ?C Creek) (instance ?R River)) (smaller ?C ?R)) |
Geography.kif 7278-7282 | If X is an instance of creek and Y is an instance of river, then X is smaller than Y |
| (=> (and (instance ?LAKE Lake) (instance ?OCEAN Ocean)) (smaller ?LAKE ?OCEAN)) |
Geography.kif 7333-7337 | If X is an instance of lake and Y is an instance of ocean, then X is smaller than Y |
| (=> (and (instance ?VIRUS1 FootAndMouthVirus) (instance ?VIRUS2 YellowFeverVirus)) (smaller ?VIRUS1 ?VIRUS2)) |
WMD.kif 1185-1189 | If X is an instance of foot and mouth virus and Y is an instance of yellow fever virus, then X is smaller than Y |
|