Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
finalExperimentReport
Sigma KEE - finalExperimentReport
finalExperimentReport
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2696-2698
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2692-2692
The number 1 argument of
final experiment report
is an
instance
of
content bearing physical
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2694-2694
The number 2 argument of
final experiment report
is an
instance
of
experimenting
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2690-2690
final experiment report
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3438-3438
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3437-3437
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3436-3436
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2700-2700
antecedent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2709-2711
If the
final
report
for
an experimenting
is
a content bearing physical
,
then
the content bearing physical
includes a
reference
to
the experimenting
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2702-2707
If the
final
report
for
an experimenting
is
a content bearing physical
,
then there exists
a proposition
such that
the proposition
is a
result
of
the experimenting
and
the content bearing physical
contain
s information
the proposition
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