MDA - internet/semantic-web/ontology/sumo/and

MDA < Home

Map Development Area (MDA)

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

Index

Browse

Edit

Visualize

Statistics

Download

Help

and

relation-has-domains

- Formula [ domain ]
- Formula [ domain ]
- Formula [ domain ]
- Formula [ domain ]

VariableArityRelation

- GreatestCommonDivisorFn
- and
- partition
- disjointDecomposition
- or
- ListFn
- AssignmentFn
- contraryAttribute
- exhaustiveAttribute
- holds
- disjointRelation
- LeastCommonMultipleFn
- exhaustiveDecomposition

LogicalOperator

- and
- exists
- entails
- not
- forall
- or

Types:

is a VariableArityRelation
is a LogicalOperator

Comment:: The truth-functional connective of conjunction.