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
ArtificialLanguage
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
Il numero 1 argomenti di
subProposition
è un
istanza
di
Proposizione
(
domain
subProposition
2
Proposition
)
Merge.kif 4638-4638
Il numero 2 argomenti di
subProposition
è un
istanza
di
Proposizione
(
instance
subProposition
BinaryPredicate
)
Merge.kif 4633-4633
subProposition
è un'
istanza
di
PredicatoBinario
(
instance
subProposition
IrreflexiveRelation
)
Merge.kif 4635-4635
subProposition
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
subProposition
PartialValuedRelation
)
Merge.kif 4636-4636
subProposition
è un'
istanza
di
RelazioneAValoreParziale
(
instance
subProposition
TransitiveRelation
)
Merge.kif 4634-4634
subProposition
è un'
istanza
di
RelazioneTransitiva
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
è una
sottorelazione
di
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
Umano
è un
cittadino
di
Nazione
UniversalSuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
RegionalLawFn
Nazione
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Umano
(=>
(
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
Proposizione
è un'
istanza
di
ConstitutionFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
il
tempo
di esistenza di
Governo
è un'
istanza
di
PosizioneTemporale
agreementEffectiveDuring
Proposizione
and
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
Formula
contiene
s informazione
Proposizione
Governo
è
obbligato
a compiere il compito di tipo
Formula
(=>
(
and
(
instance
?CORPUS
RegionalLaw
)
(
subProposition
?PART ?CORPUS))
(
attribute
?CORPUS
Law
))
Government.kif 875-879
Oggetto
è un'
istanza
di
RegionalLaw
Proposizione
è una
sottoproposizione
Oggetto
attribute
Oggetto
and
Law
(=>
(
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
Proposizione
è un'
istanza
di
Argument
Processo
è un'
istanza
di
Ragionare
Proposizione
è un'
istanza
di
Archeology
Proposizione
è una
sottoproposizione
Proposizione
Processo
esprime
il contenuto di
Proposizione
Processo
Entit�
,
Entit�Concreta
,
NumeroReale
,
Entit�
and
Entit�
Processo
è un'
istanza
di
Discovering
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Processo
include un
riferimento
a
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di 50
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
BodyOfWater
Entit�Concreta
è
Below
a
Entit�
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
SuperficieTerrestre
Entit�Concreta
è
Below
a
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Processo
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
Umano
(=>
(
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
RegionalLawFn
Nazione
obbliga
Umano
a compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Umano
(=>
(
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
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
attribute
Oggetto
and
Female
Oggetto
è un
membro
di
ResidentFn
AreaGeopolitica
Election
è un'
istanza
di
Election
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
agent
attribute
Umano
and
Male
(=>
(
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
Election
è un'
istanza
di
ElectionFn
Nazione
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
Umano
attribute
Umano
and
Male
(=>
(
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
agent
(=>
(
subProposition
?PROP1 ?PROP2)
(
forall
(?OBJ1 ?OBJ2)
(=>
(
and
(
containsInformation
?OBJ1 ?PROP1)
(
containsInformation
?OBJ2 ?PROP2))
(
subsumesContentInstance
?OBJ2 ?OBJ1))))
Merge.kif 4645-4652
Proposizione
è una
sottoproposizione
Proposizione
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
sussume
il contenuto di
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
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
RegionalLawFn
AreaGeopolitica
obbliga
AreaGeopolitica
a compiere il compito di tipo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un
cittadino
di
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Entit�
YearDuration
(s il
et
à di
Entit�
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
AreaGeopolitica
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Entit�
(=>
(
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
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
Election
,
NumeroReale
and
NumeroReale
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
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
Proposizione
,
PosizioneTemporale
and
Proposizione
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
prima
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
dopo
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
prima
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
suffrageAgeMaximum
AreaGeopolitica
and
Durata
Durata
RULE
Durata
RULE è un'
istanza
di
VoterAgeRequirement
Durata
RULE è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
suffrageAgeMaximum
AreaGeopolitica
and
Durata
contiene
s informazione
Durata
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
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Durata
Durata
RULE
Durata
RULE è un'
istanza
di
VoterAgeRequirement
Durata
RULE è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Durata
contiene
s informazione
Durata
RULE
(=>
(
and
(
instance
?ARGUMENT
Argument
)
(
equal
?PREMISES
(
PremisesFn
?ARGUMENT)))
(<=>
(
subProposition
?PROPOSITION ?PREMISES)
(
premise
?ARGUMENT ?PROPOSITION)))
Merge.kif 16884-16890
Argument
è un'
istanza
di
Argument
Proposizione
is
uguale
a
PremisesFn
Argument
Proposizione
è una
sottoproposizione
Proposizione
premise
Argument
and
Proposizione
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
governmentType
AreaGeopolitica
and
Democracy
VoterCitizenshipRequirement
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
AreaGeopolitica
è un'
istanza
di
Nazione
governmentType
AreaGeopolitica
and
Democracy
Proposizione
Proposizione
è un'
istanza
di
SuffrageLaw
Proposizione
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
(=>
(
equal
?L
(
LyricalComponentFn
?S))
(
subProposition
?L ?S))
Music.kif 920-922
LyricalContent
is
uguale
a
LyricalComponentFn
Song
LyricalContent
è una
sottoproposizione
Song
(=>
(
equal
?M
(
MusicalComponentFn
?S))
(
subProposition
?M ?S))
Music.kif 908-910
MusicalComposition
is
uguale
a
MusicalComponentFn
Song
MusicalComposition
è una
sottoproposizione
Song
(=>
(
instance
?API
ApplicationProgrammerInterface
)
(
exists
(?P)
(
and
(
instance
?P
ComputerProgram
)
(
subProposition
?API ?P))))
ComputingBrands.kif 1929-1934
Proposizione
è un'
istanza
di
ApplicationProgrammerInterface
Proposizione
Proposizione
è un'
istanza
di
ProgrammaDiComputer
Proposizione
è una
sottoproposizione
Proposizione
(=>
(
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
Proposizione
è un'
istanza
di
Constitution
Formula
Proposizione
Formula
è un'
istanza
di
Formula
Formula
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
Proposizione
Proposizione
è una
sottoproposizione
Proposizione
l'affermazione
Formula
ha il modello di forza di
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
Proposizione
è un'
istanza
di
Constitution
Formula
Proposizione
Formula
è un'
istanza
di
Formula
Formula
contiene
s informazione
Proposizione
Proposizione
è un'
istanza
di
Proposizione
Proposizione
è una
sottoproposizione
Proposizione
l'affermazione
Formula
ha il modello di forza di
Permission
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
AreaGeopolitica
è un'
istanza
di
Nazione
Proposizione
Proposizione
è un'
istanza
di
VoterAgeRequirement
Proposizione
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
(=>
(
instance
?L
LyricalContent
)
(
exists
(?W ?I)
(
and
(
instance
?W
Word
)
(
containsInformation
?W ?I)
(
subProposition
?I ?L))))
Mid-level-ontology.kif 13802-13808
Proposizione
è un'
istanza
di
LyricalContent
ContentBearingPhysical
Proposizione
ContentBearingPhysical
è un'
istanza
di
Parola
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
è una
sottoproposizione
Proposizione
(=>
(
instance
?X
TravelReservation
)
(
modalAttribute
(
exists
(?FLIGHT)
(
and
(
instance
?FLIGHT
FlightReservation
)
(
subProposition
?FLIGHT ?X)))
Likely
))
Hotel.kif 2824-2830
Entit�
è un'
istanza
di
TravelReservation
l'affermazione
Entit�
Entit�
è un'
istanza
di
FlightReservation
Entit�
è una
sottoproposizione
Entit�
ha il modello di forza di
Likely
(=>
(
property
?AGREEMENT
Contract
)
(
forall
(?X)
(=>
(
subProposition
?X ?AGREEMENT)
(
modalAttribute
?X
Legal
))))
Mid-level-ontology.kif 14142-14147
Proposizione
ha un
attributo
Contract
Formula
Formula
è una
sottoproposizione
Proposizione
l'affermazione
Formula
ha il modello di forza di
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