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
subProposition
Sigma KEE - subProposition
subProposition
appearance as argument number 1
(
documentation
subProposition
ChineseLanguage
"(
subProposition
?PROP1 ?PROP2) 的意思是 ?PROP1 是一个
Proposition
,它是
Proposition
?PROP2 的一个真正部分。换句话说
subProposition
是一堆抽象内容的
properPart
的类似物。")
chinese_format.kif 2203-2205
(
documentation
subProposition
EnglishLanguage
"(
subProposition
?PROP1 ?PROP2) means that ?PROP1 is a
Proposition
which is a proper part of the
Proposition
?PROP2. In other words,
subProposition
is the analogue of
properPart
for chunks of abstract content.")
Merge.kif 4640-4643
(
documentation
subProposition
JapaneseLanguage
"(
subProposition
?PROP1 ?PROP2) とは、 ?PROP1が
Proposition
で、
Proposition
?PROP2 の適切な部分である、という意味である。言い換え れば、
subProposition
は、大量の抽象的なコンテンツの
properPart
の類似体である。")
japanese_format.kif 867-869
(
domain
subProposition
1
Proposition
)
Merge.kif 4637-4637
O argumento numero 1 de
subProposition
e' uma
instancia
de
Proposicao
(
domain
subProposition
2
Proposition
)
Merge.kif 4638-4638
O argumento numero 2 de
subProposition
e' uma
instancia
de
Proposicao
(
instance
subProposition
BinaryPredicate
)
Merge.kif 4633-4633
subProposition
e' uma
instancia
de
Predicado Binario
(
instance
subProposition
IrreflexiveRelation
)
Merge.kif 4635-4635
subProposition
e' uma
instancia
de
Relacao Irreflexiva
(
instance
subProposition
PartialValuedRelation
)
Merge.kif 4636-4636
subProposition
e' uma
instancia
de
Relacao Parcial
(
instance
subProposition
TransitiveRelation
)
Merge.kif 4634-4634
subProposition
e' uma
instancia
de
Relacao Transitiva
appearance as argument number 2
(
format
ChineseLanguage
subProposition
"%1 %n 是 %2 的
subProposition
")
chinese_format.kif 187-187
(
format
EnglishLanguage
subProposition
"%1 is %n a sub-proposition of %2")
english_format.kif 188-188
(
format
FrenchLanguage
subProposition
"%1 est %n une sous-proposition de %2")
french_format.kif 113-113
(
format
ItalianLanguage
subProposition
"%1 è una sottoproposizione %2")
relations-it.txt 278-278
(
format
JapaneseLanguage
subProposition
"%1 は %2 の sub-proposition では %n")
japanese_format.kif 1942-1942
(
format
PortugueseLanguage
subProposition
"%1 e' %n uma &sub-proposicao de %2")
portuguese_format.kif 65-65
(
format
de
subProposition
"%1 ist eine teilangelegenheit von %2 %n{nicht}")
relations-de.txt 238-238
(
format
hi
subProposition
"%1 %2 kaa upaprastaava hai")
relations-hindi.txt 315-315
(
format
ro
subProposition
"%1 %n{nu} este o sub-proposition%t{subpropoziþie} a lui %2")
relations-ro.kif 132-132
(
format
sv
subProposition
"%1 är %n{inte} en sub-proposition av %2")
relations-sv.txt 118-118
(
format
tg
subProposition
"%1 ay ang paksa sa pagtatalo mas baba ng %2")
relations-tg.txt 470-470
(
subrelation
subPlan
subProposition
)
Merge.kif 4654-4654
subPlan
e' uma
sub
-relacao de
subProposition
(
termFormat
ChineseLanguage
subProposition
"子命题")
chinese_format.kif 188-188
(
termFormat
ChineseLanguage
subProposition
"次提案")
domainEnglishFormat.kif 55782-55782
(
termFormat
ChineseTraditionalLanguage
subProposition
"次提案")
domainEnglishFormat.kif 55781-55781
(
termFormat
EnglishLanguage
subProposition
"sub proposition")
domainEnglishFormat.kif 55780-55780
(
termFormat
de
subProposition
"teilangelegenheit")
terms-de.txt 75-75
antecedent
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
Humano
e' um
cidadao
de
Nacao
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
RegionalLawFn
Nacao
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
Proposicao
e' uma
instancia
de
ConstitutionFn
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Governo
e'
igual
a o
governo
de
Area Geopolitica
tempo
de existencia de
Governo
e' uma
instancia
de
Posicao Temporal
agreementEffectiveDuring
Proposicao
and
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
Formula
contem
informacao
Proposicao
Governo
e'
obrigado
a executar tarefas de tipo
Formula
(=>
(
and
(
instance
?CORPUS
RegionalLaw
)
(
subProposition
?PART ?CORPUS))
(
attribute
?CORPUS
Law
))
Government.kif 875-879
Objeto
e' uma
instancia
de
RegionalLaw
Proposicao
e' uma &sub-proposicao de
Objeto
Law
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
Proposicao
e' uma
instancia
de
Argument
Processo
e' uma
instancia
de
Raciocinar
Proposicao
e' uma
instancia
de
Archeology
Proposicao
e' uma &sub-proposicao de
Proposicao
Processo
exprime
o conteudo de
Proposicao
Processo
Entidade
,
Fisico
,
Numero Real
,
Entidade
and
Entidade
Processo
e' uma
instancia
de
Discovering
Fisico
e' uma
instancia
de
Objeto
Fisico
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
que 50
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
BodyOfWater
Fisico
e'
Below
em relacao a
Entidade
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
Area terrestre
Fisico
e'
Below
em relacao a
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT))))
Government.kif 1176-1189
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Processo
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
Humano
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
RegionalLawFn
Nacao
obriga
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1267-1273
ExclusiveMaleSuffrage
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
Female
e' um
atributo
de
Objeto
Objeto
e'
membro
de
ResidentFn
Area Geopolitica
Election
e' uma
instancia
de
Election
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
ExclusiveMaleSuffrage
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
Male
e' um
atributo
de
Humano
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1258-1265
ExclusiveMaleSuffrage
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
Election
e' uma
instancia
de
ElectionFn
Nacao
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
Humano
Male
e' um
atributo
de
Humano
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
(=>
(
subProposition
?PROP1 ?PROP2)
(
forall
(?OBJ1 ?OBJ2)
(=>
(
and
(
containsInformation
?OBJ1 ?PROP1)
(
containsInformation
?OBJ2 ?PROP2))
(
subsumesContentInstance
?OBJ2 ?OBJ1))))
Merge.kif 4645-4652
Proposicao
e' uma &sub-proposicao de
Proposicao
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
subsume
o conteudo de
ContentBearingPhysical
(=>
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
confersObligation
(
forall
(?AGENT ?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?POLITY))
Government.kif 1191-1209
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
RegionalLawFn
Area Geopolitica
obriga
Area Geopolitica
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' um
cidadao
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Entidade
YearDuration
(s) a
idade
de
Entidade
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Area Geopolitica
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
forall
(?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))))
Government.kif 1106-1118
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
Election
,
Numero Real
and
Numero Real
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
agent
consequent
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
agreementRevisionDate
Proposicao
,
Posicao Temporal
and
Proposicao
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 1029-1038
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
suffrageAgeMaximum
Area Geopolitica
and
Duracao Temporal
Duracao Temporal
RULE
Duracao Temporal
RULE e' uma
instancia
de
VoterAgeRequirement
Duracao Temporal
RULE e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
suffrageAgeMaximum
Area Geopolitica
and
Duracao Temporal
contem
informacao
Duracao Temporal
RULE
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 957-966
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
Duracao Temporal
RULE
Duracao Temporal
RULE e' uma
instancia
de
VoterAgeRequirement
Duracao Temporal
RULE e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Duracao Temporal
contem
informacao
Duracao Temporal
RULE
(=>
(
and
(
instance
?ARGUMENT
Argument
)
(
equal
?PREMISES
(
PremisesFn
?ARGUMENT)))
(<=>
(
subProposition
?PROPOSITION ?PREMISES)
(
premise
?ARGUMENT ?PROPOSITION)))
Merge.kif 16884-16890
Argument
e' uma
instancia
de
Argument
Proposicao
e'
igual
a o argumento da
introducao
de
Argument
Proposicao
e' uma &sub-proposicao de
Proposicao
premise
Argument
and
Proposicao
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
governmentType
Area Geopolitica
and
Democracy
VoterCitizenshipRequirement
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
Area Geopolitica
e' uma
instancia
de
Nacao
governmentType
Area Geopolitica
and
Democracy
Proposicao
Proposicao
e' uma
instancia
de
SuffrageLaw
Proposicao
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
equal
?L
(
LyricalComponentFn
?S))
(
subProposition
?L ?S))
Music.kif 920-922
LyricalContent
e'
igual
a
LyricalComponentFn
Song
LyricalContent
e' uma &sub-proposicao de
Song
(=>
(
equal
?M
(
MusicalComponentFn
?S))
(
subProposition
?M ?S))
Music.kif 908-910
MusicalComposition
e'
igual
a
MusicalComponentFn
Song
MusicalComposition
e' uma &sub-proposicao de
Song
(=>
(
instance
?API
ApplicationProgrammerInterface
)
(
exists
(?P)
(
and
(
instance
?P
ComputerProgram
)
(
subProposition
?API ?P))))
ComputingBrands.kif 1929-1934
Proposicao
e' uma
instancia
de
ApplicationProgrammerInterface
Proposicao
Proposicao
e' uma
instancia
de
Programa de Computador
Proposicao
e' uma &sub-proposicao de
Proposicao
(=>
(
instance
?CONST
Constitution
)
(
exists
(?FORMULA ?PART)
(
and
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?PART)
(
instance
?PART
Proposition
)
(
subProposition
?PART ?CONST)
(
modalAttribute
?FORMULA
Obligation
))))
Government.kif 653-661
Proposicao
e' uma
instancia
de
Constitution
Formula
Proposicao
Formula
e' uma
instancia
de
Formula
Formula
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
Proposicao
Proposicao
e' uma &sub-proposicao de
Proposicao
o argumento
Formula
tem a
forca
modal
de
Obligation
(=>
(
instance
?CONST
Constitution
)
(
exists
(?FORMULA ?PART)
(
and
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?PART)
(
instance
?PART
Proposition
)
(
subProposition
?PART ?CONST)
(
modalAttribute
?FORMULA
Permission
))))
Government.kif 663-671
Proposicao
e' uma
instancia
de
Constitution
Formula
Proposicao
Formula
e' uma
instancia
de
Formula
Formula
contem
informacao
Proposicao
Proposicao
e' uma
instancia
de
Proposicao
Proposicao
e' uma &sub-proposicao de
Proposicao
o argumento
Formula
tem a
forca
modal
de
Permission
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
Area Geopolitica
e' uma
instancia
de
Nacao
Proposicao
Proposicao
e' uma
instancia
de
VoterAgeRequirement
Proposicao
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
instance
?L
LyricalContent
)
(
exists
(?W ?I)
(
and
(
instance
?W
Word
)
(
containsInformation
?W ?I)
(
subProposition
?I ?L))))
Mid-level-ontology.kif 13802-13808
Proposicao
e' uma
instancia
de
LyricalContent
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Palavra
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e' uma &sub-proposicao de
Proposicao
(=>
(
instance
?X
TravelReservation
)
(
modalAttribute
(
exists
(?FLIGHT)
(
and
(
instance
?FLIGHT
FlightReservation
)
(
subProposition
?FLIGHT ?X)))
Likely
))
Hotel.kif 2824-2830
Entidade
e' uma
instancia
de
TravelReservation
o argumento
Entidade
Entidade
e' uma
instancia
de
FlightReservation
Entidade
e' uma &sub-proposicao de
Entidade
tem a
forca
modal
de
Likely
(=>
(
property
?AGREEMENT
Contract
)
(
forall
(?X)
(=>
(
subProposition
?X ?AGREEMENT)
(
modalAttribute
?X
Legal
))))
Mid-level-ontology.kif 14142-14147
Proposicao
tem um
atributo
de
Contract
Formula
Formula
e' uma &sub-proposicao de
Proposicao
o argumento
Formula
tem a
forca
modal
de
Legal
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