logo  
  MDA < Home 
Home
Tutorials
Features
Services
Impressum
MDA
ID:

Password:

Map Development Area (MDA)

Location: _/_   internet   _/_   semantic-web   _/_   ontology   _/_   sumo   _/_   AdditionFn  

Index Browse Edit Visualize Statistics Download Help
 
AdditionFn
relation-has-domains
- Quantity [ domain ]
- Quantity [ domain ]
- Quantity [ domain ]
- Quantity [ domain ]
TotalValuedRelation
- CardinalityFn
- MereologicalDifferenceFn
- geometricDistance
- ImaginaryPartFn
- SineFn
- MeasureFn
- angularMeasure
- KiloFn
- RelativeTimeFn
- VelocityFn
- PrincipalHostFn
- AdditionFn
- duration
- diameter
- GeneralizedUnionFn
- MaxFn
- FloorFn
- ReciprocalFn
- ImmediatePastFn
- SkinFn
- TeraFn
- ExponentiationFn
- ListFn
- RelativeComplementFn
- PropertyFn
- UnionFn
- IntersectionFn
- NanoFn
- ProbabilityFn
- ListConcatenateFn
- DenominatorFn
- TangenFn
- AbsoluteValueFn
- PredecessorFn
- CosineFn
- PicoFn
- premise
- PowerSetFn
- EndNodeFn
- MereologicalSumFn
- MereologicalProductFn
- SignumFn
- FutureFn
- GeneralizedIntersectionFn
- PerFn
- CeilingFn
- MicroFn
- ComplementFn
- conclusion
- SubtractionFn
- ImmediateFutureFn
- MultiplicationFn
- BeginFn
- GraphPathFn
- NumeratorFn
- MegaFn
- ListLengthFn
- EndFn
- GigaFn
- SuccessorFn
- lineMeasure
- transactionAmount
- radius
- BeginNodeFn
- PastFn
- WhenFn
- MinFn
- MilliFn
- DensityFn
- SpeedFn
- RoundFn
- WhereFn
CommutativeFunction
- MultiplicationFn
- AdditionFn
- MaxFn
- MinFn
RelationExtendedToQuantities
- DivisionFn
- AdditionFn
- equal
- ExponentiationFn
- SubtractionFn
- ReciprocalFn
- lessThan
- RemainderFn
- lessThanOrEqualTo
- MultiplicationFn
- MinFn
- greaterThanOrEqualTo
- MaxFn
- RoundFn
- greaterThan
AssociativeFunction
- MultiplicationFn
- MinFn
- MaxFn
- AdditionFn
- DivisionFn
- SubtractionFn
BinaryFunction
- MereologicalProductFn
- IntersectionFn
- IntervalFn
- MinimalWeightedPathFn
- EditionFn
- AdditionFn
- ListOrderFn
- TimeIntervalFn
- MereologicalDifferenceFn
- PeriodicalIssueFn
- RelativeComplementFn
- RecurrentTimeIntervalFn
- HourFn
- DayFn
- MaximalWeightedPathFn
- MultiplicationFn
- RemainderFn
- DivisionFn
- MinuteFn
- UnionFn
- ExponentiationFn
- SeriesVolumeFn
- TemporalCompositionFn
- MinFn
- LogFn
- RelativeTimeFn
- SecondFn
- MeasureFn
- MereologicalSumFn
- KappaFn
- ListConcatenateFn
- PerFn
- GraphPathFn
- SubtractionFn
- MonthFn
- WhereFn
- MaxFn
Types:
Comment:
If ?NUMBER1 and ?NUMBER2 are Numbers, then (AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.