| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__AbsoluteValueFn__m,s__TotalValuedRelation)
|
Merge.kif 4588-4588 |
Absolute value is an instance of total valued relation |
| s__instance(s__AccelerationFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Cars.kif 1293-1293 |
AccelerationFn is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__AdditionFn__m,s__TotalValuedRelation)
|
Merge.kif 4538-4538 |
Addition is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__ArcCosineFn__m,s__TotalValuedRelation)
|
Merge.kif 5024-5024 |
Arccosine is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__ArcSineFn__m,s__TotalValuedRelation)
|
Merge.kif 5034-5034 |
Arcsine is an instance of total valued relation |
| s__instance(s__ArcTangentFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 5014-5014 |
Arctangent is an instance of total valued relation |
| s__instance(s__BeginFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 7714-7714 |
Begin is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__BeginNodeFn__m,s__TotalValuedRelation)
|
Merge.kif 5675-5675 |
Begin node is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__CeilingFn__m,s__TotalValuedRelation)
|
Merge.kif 4609-4609 |
Ceiling is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__CenterOfCircleFn__m,s__TotalValuedRelation)
|
Merge.kif 7383-7383 |
Center of circle is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__ComplementFn__m,s__TotalValuedRelation)
|
Merge.kif 5238-5238 |
Complement is an instance of total valued relation |
| s__instance(s__CosineFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 4627-4627 |
Cosine is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__DenominatorFn__m,s__TotalValuedRelation)
|
Merge.kif 4636-4636 |
Denominator is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__DensityFn__m,s__TotalValuedRelation)
|
Merge.kif 6400-6400 |
Density is an instance of total valued relation |
| s__instance(s__DiameterFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Mid-level-ontology.kif 4644-4644 |
Diameter is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__EndFn__m,s__TotalValuedRelation)
|
Merge.kif 7742-7742 |
End is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__EndNodeFn__m,s__TotalValuedRelation)
|
Merge.kif 5686-5686 |
End node is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__ExponentiationFn__m,s__TotalValuedRelation)
|
Merge.kif 4645-4645 |
Exponentiation is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__FloorFn__m,s__TotalValuedRelation)
|
Merge.kif 4654-4654 |
Floor is an instance of total valued relation |
| s__instance(s__FutureFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 8119-8119 |
Future is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__GeneralizedIntersectionFn__m,s__TotalValuedRelation)
|
Merge.kif 5259-5259 |
Generalized intersection is an instance of total valued relation |
| s__instance(s__GeneralizedUnionFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 5248-5248 |
Generalized union is an instance of total valued relation |
| s__instance(s__GraphPathFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 5793-5793 |
Graph path is an instance of total valued relation |
| s__instance(s__ImaginaryPartFn__m,s__TotalValuedRelation)
s__instance(s__TotalValuedRelation,s__SetOrClass)
|
Merge.kif 4722-4722 |
Imaginary part is an instance of total valued relation |
| s__instance(s__TotalValuedRelation,s__SetOrClass)
s__instance(s__ImmediateFamilyFn__m,s__TotalValuedRelation)
|
Merge.kif 15508-15508 |
Immediate family is an instance of total valued relation |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
