gov
.
nasa
.
jpl
.
omf
.
scala
.
core
.
tables
Axioms
Related Docs:
class Axioms
|
package tables
object
Axioms
extends
Serializable
Linear Supertypes
Serializable
,
Serializable
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Axioms
Serializable
Serializable
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
append
(
a1:
Axioms
,
a2:
Axioms
)
:
Axioms
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
combine
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
)
(
acc:
Axioms
,
ax:
Axioms.combine.omf.Axiom
)
:
Axioms
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
funAspectSpecializationAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funAspectSpecializationAxiom.omf.AspectSpecializationAxiom
)
:
Axioms
def
funConceptSpecializationAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funConceptSpecializationAxiom.omf.ConceptSpecializationAxiom
)
:
Axioms
def
funEntityExistentialRestrictionAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funEntityExistentialRestrictionAxiom.omf.EntityExistentialRestrictionAxiom
)
:
Axioms
def
funEntityScalarDataPropertyExistentialRestrictionAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funEntityScalarDataPropertyExistentialRestrictionAxiom.omf.EntityScalarDataPropertyExistentialRestrictionAxiom
)
:
Axioms
def
funEntityScalarDataPropertyParticularRestrictionAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funEntityScalarDataPropertyParticularRestrictionAxiom.omf.EntityScalarDataPropertyParticularRestrictionAxiom
)
:
Axioms
def
funEntityScalarDataPropertyUniversalRestrictionAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funEntityScalarDataPropertyUniversalRestrictionAxiom.omf.EntityScalarDataPropertyUniversalRestrictionAxiom
)
:
Axioms
def
funEntityStructuredDataPropertyParticularRestrictionAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funEntityStructuredDataPropertyParticularRestrictionAxiom.omf.EntityStructuredDataPropertyParticularRestrictionAxiom
)
:
Axioms
def
funEntityUniversalRestrictionAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funEntityUniversalRestrictionAxiom.omf.EntityUniversalRestrictionAxiom
)
:
Axioms
def
funReifiedRelationshipSpecializationAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funReifiedRelationshipSpecializationAxiom.omf.ReifiedRelationshipSpecializationAxiom
)
:
Axioms
def
funScalarOneOfLiteralAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funScalarOneOfLiteralAxiom.omf.ScalarOneOfLiteralAxiom
)
:
Axioms
def
funSubDataPropertyOfAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funSubDataPropertyOfAxiom.omf.SubDataPropertyOfAxiom
)
:
Axioms
def
funSubObjectPropertyOfAxiom
[
omf <:
OMF
[
omf
]
]
(
guuid:
TerminologyBoxUUID
,
ops:
OMFOps
[
omf
]
,
acc:
Axioms
)
(
ax:
Axioms.funSubObjectPropertyOfAxiom.omf.SubObjectPropertyOfAxiom
)
:
Axioms
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
def
toUUIDString
[
Tag
]
(
uuid:
@@
[
UUID
,
Tag
]
)
:
@@
[
String
,
Tag
]
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
AnyRef
Inherited from
Any
Ungrouped