Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
IntervalFn
Sigma KEE - IntervalFn
IntervalFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2464-2467
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6555-6561
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6550-6550
The number 1 argument of
interval
is an
instance
of
constant quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6551-6551
The number 2 argument of
interval
is an
instance
of
constant quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6548-6548
Interval
is an
instance
of
binary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6549-6549
Interval
is an
instance
of
total valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6552-6552
The values returned by
interval
are
subclasses
of
constant quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6553-6553
Interval
is
internally
related to
recurrent time interval
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 651-651
No TPTP formula. May not be expressible in strict first order.
english_format.kif 654-654
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30745-30745
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 652-652
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30744-30744
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30743-30743
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6563-6568
If
an entity
is an
instance
of the
interval
from
a constant quantity
to
another constant quantity
and
the constant quantity
is an
instance
of
a class
and
the other constant quantity
is an
instance
of
the class
,
then
the entity
is an
instance
of
the class
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 377-385
If
an entity
is an
instance
of
human baby
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 1
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 196-204
If
an entity
is an
instance
of
human adult
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 18
year duration
(s) to 120
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 296-304
If
an entity
is an
instance
of
human child
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 14
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 254-262
If
an entity
is an
instance
of
human youth
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 17
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 327-335
If
an entity
is an
instance
of
teenager
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 13
year duration
(s) to 19
year duration
(s)
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners
IntervalFn