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 4641-4644
(
documentation
subProposition
JapaneseLanguage
"(
subProposition
?PROP1 ?PROP2) とは、 ?PROP1が
Proposition
で、
Proposition
?PROP2 の適切な部分である、という意味である。言い換え れば、
subProposition
は、大量の抽象的なコンテンツの
properPart
の類似体である。")
japanese_format.kif 867-869
(
domain
subProposition
1
Proposition
)
Merge.kif 4638-4638
Il numero 1 argomenti di
subProposition
è un
istanza
di
Proposizione
(
domain
subProposition
2
Proposition
)
Merge.kif 4639-4639
Il numero 2 argomenti di
subProposition
è un
istanza
di
Proposizione
(
instance
subProposition
BinaryPredicate
)
Merge.kif 4634-4634
subProposition
è un'
istanza
di
PredicatoBinario
(
instance
subProposition
IrreflexiveRelation
)
Merge.kif 4636-4636
subProposition
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
subProposition
PartialValuedRelation
)
Merge.kif 4637-4637
subProposition
è un'
istanza
di
RelazioneAValoreParziale
(
instance
subProposition
TransitiveRelation
)
Merge.kif 4635-4635
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 4655-4655
subPlan
è una
sottorelazione
di
subProposition
(
termFormat
ChineseLanguage
subProposition
"子命题")
chinese_format.kif 188-188
(
termFormat
ChineseLanguage
subProposition
"次提案")
domainEnglishFormat.kif 55784-55784
(
termFormat
ChineseTraditionalLanguage
subProposition
"次提案")
domainEnglishFormat.kif 55783-55783
(
termFormat
EnglishLanguage
subProposition
"sub proposition")
domainEnglishFormat.kif 55782-55782
(
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 1096-1116
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 738-747
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 839-843
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 21174-21204
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 1140-1153
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 1175-1195
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 1231-1237
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 1214-1220
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 1222-1229
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 1084-1094
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 4646-4653
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 1155-1173
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 1070-1082
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 702-717
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 993-1002
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 921-930
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 16955-16961
Argument
è un'
istanza
di
Argument
Formula
is
uguale
a
PremisesFn
Argument
Proposizione
è una
sottoproposizione
Formula
premise
Argument
and
Proposizione
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 881-885
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 870-877
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 617-625
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 627-635
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 899-904
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 13829-13835
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 14169-14174
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