Proposition
(proposition)
(
subclass
RegionalLaw
Proposition
)
Government.kif 825-825
Regional law
is a
subclass
of
proposition
(
subclass
ScientificLaw
Proposition
)
engineering.kif 1553-1553
Scientific law
is a
subclass
of
proposition
(
subclass
SuffrageLaw
Proposition
)
Government.kif 861-861
Suffrage law
is a
subclass
of
proposition
(
subclass
TPFDD
Proposition
)
MilitaryProcesses.kif 1630-1630
TPFDD
is a
subclass
of
proposition
(
termFormat
ChineseLanguage
Proposition
"命题")
chinese_format.kif 932-932
TPFDD
is a
subclass
of
proposition
(
termFormat
EnglishLanguage
Proposition
"proposition")
english_format.kif 1071-1071
TPFDD
is a
subclass
of
proposition
(
termFormat
FrenchLanguage
Proposition
"proposition ")
french_format.kif 608-608
TPFDD
is a
subclass
of
proposition
(
termFormat
Hindi
Proposition
"prastaava")
terms-hindi.txt 139-139
TPFDD
is a
subclass
of
proposition
(
termFormat
ItalianLanguage
Proposition
"Proposizione")
terms-it.txt 142-142
TPFDD
is a
subclass
of
proposition
(
termFormat
JapaneseLanguage
Proposition
"命題")
japanese_format.kif 2293-2293
TPFDD
is a
subclass
of
proposition
(
termFormat
PortugueseLanguage
Proposition
"Proposicao")
portuguese_format.kif 560-560
TPFDD
is a
subclass
of
proposition
(
termFormat
cb
Proposition
"tanyag")
terms-cb.txt 144-144
TPFDD
is a
subclass
of
proposition
(
termFormat
cz
Proposition
"proposition")
terms-cz.txt 176-176
TPFDD
is a
subclass
of
proposition
(
termFormat
de
Proposition
"Proposition")
terms-de.txt 435-435
TPFDD
is a
subclass
of
proposition
(
termFormat
ro
Proposition
"propoziþie")
relations-ro.kif 629-629
TPFDD
is a
subclass
of
proposition
(
termFormat
tg
Proposition
"panukala")
terms-tg.txt 143-143
TPFDD
is a
subclass
of
proposition
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