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
域
次提案
, 1 and
Proposition
(
domain
subProposition
2
Proposition
)
Merge.kif 4638-4638
域
次提案
, 2 and
Proposition
(
instance
subProposition
BinaryPredicate
)
Merge.kif 4633-4633
例
次提案
and
BinaryPredicate
(
instance
subProposition
IrreflexiveRelation
)
Merge.kif 4635-4635
例
次提案
and
IrreflexiveRelation
(
instance
subProposition
PartialValuedRelation
)
Merge.kif 4636-4636
例
次提案
and
PartialValuedRelation
(
instance
subProposition
TransitiveRelation
)
Merge.kif 4634-4634
例
次提案
and
TransitiveRelation
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
子關係
子計劃
and
次提案
(
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
公民
Human
and
Nation
次提案
普選法
and
Nation
的
regional
法律
賦予權利
entity
entity
and
entity
公民
Human
and
Nation
測量
entity
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
Nation
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
Human
,
Nation
的
regional
法律 and
Human
(=>
(
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
例
Proposition
and
GeopoliticalArea
的
constitution
例
GeopoliticalArea
and
Nation
等於
Government
and
政府
GeopoliticalArea
例
何時
Government
and
TimePosition
TimePosition
是
Proposition
的
agreement
生效其間
次提案
Proposition
and
Proposition
包含信息
Formula
and
Proposition
持有義務
Formula
and
Government
(=>
(
and
(
instance
?CORPUS
RegionalLaw
)
(
subProposition
?PART ?CORPUS))
(
attribute
?CORPUS
Law
))
Government.kif 875-879
例
Object
and
區域法
次提案
Proposition
and
Object
attribute
Object
and
法
(=>
(
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
例
Proposition
and
爭論
例
Process
and
Reasoning
例
Proposition
and
Archeology
次提案
Proposition
and
Proposition
實現
Process
and
Proposition
Process
entity
,
Physical
,
RealNumber
,
entity
and
entity
例
Process
and
發現
例
Physical
and
Object
患者
Process
and
Physical
參照
Process
and
Process
早期
何時
Process
and
何時
Process
年齡
Physical
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and 50
持有期間
不久的過去
何時
Process
and
表面
entity
and
entity
例
entity
and
水體
方位
Physical
,
entity
and
下面
表面
entity
and
entity
例
entity
and
LandArea
方位
Physical
,
entity
and
下面
(=>
(
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
次提案
強制選舉法
and
Nation
的
regional
法律
公民
Human
and
Nation
測量
RealNumber
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
例
選舉
and
Nation
的
election
Process
例
Process
and
選舉
的
voting
agent
Process
and
Human
(=>
(
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
次提案
強制選舉法
and
Nation
的
regional
法律
公民
Human
and
Nation
授予義務
entity
entity
and
entity
公民
Human
and
Nation
測量
entity
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
Nation
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
Human
,
Nation
的
regional
法律 and
Human
(=>
(
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
次提案
獨家男性選舉權
and
GeopoliticalArea
的
regional
法律
attribute
Object
and
女
會員
Object
and
GeopoliticalArea
的
resident
例
選舉
and
選舉
能力
選舉
的
voting
,
agent
and
Object
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
次提案
獨家男性選舉權
and
Nation
的
regional
法律
公民
Human
and
Nation
例
選舉
and
Nation
的
election
能力
選舉
的
voting
,
agent
and
Human
attribute
Human
and
男
(=>
(
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
次提案
獨家男性選舉權
and
Nation
的
regional
法律
公民
Human
and
Nation
例
選舉
and
Nation
的
election
例
Process
and
選舉
的
voting
agent
Process
and
Human
attribute
Human
and
男
(=>
(
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
次提案
普選法
and
Nation
的
regional
法律
公民
Human
and
Nation
測量
RealNumber
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
例
選舉
and
Nation
的
election
能力
選舉
的
voting
,
agent
and
Human
(=>
(
subProposition
?PROP1 ?PROP2)
(
forall
(?OBJ1 ?OBJ2)
(=>
(
and
(
containsInformation
?OBJ1 ?PROP1)
(
containsInformation
?OBJ2 ?PROP2))
(
subsumesContentInstance
?OBJ2 ?OBJ1))))
Merge.kif 4645-4652
次提案
Proposition
and
Proposition
內容承載物理
內容承載物理
包含信息
內容承載物理
and
Proposition
包含信息
內容承載物理
and
Proposition
包含內容實例
內容承載物理
and
內容承載物理
(=>
(
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
次提案
強制選舉法
and
GeopoliticalArea
的
regional
法律
授予義務
entity
entity
,
entity
and
entity
公民
entity
and
GeopoliticalArea
測量
entity
and
年持續時間
是
GeopoliticalArea
的
suffrage
最小年紀
年齡
entity
and
測量
entity
and
年持續時間
大於或等於
entity
and
entity
例
entity
and
GeopoliticalArea
的
election
entity
例
entity
and
entity
的
voting
agent
entity
and
entity
,
GeopoliticalArea
的
regional
法律 and
GeopoliticalArea
(=>
(
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
次提案
普選法
and
Nation
的
regional
法律
Human
選舉
,
RealNumber
and
RealNumber
公民
Human
and
Nation
測量
RealNumber
and
年持續時間
是
Nation
的
suffrage
最小年紀
年齡
Human
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
例
選舉
and
Nation
的
election
能力
選舉
的
voting
,
agent
and
Human
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
Proposition
agreement
對於
Proposition
的修改日期
TimePosition
TimePosition
例
TimePosition
and
TimePosition
持有期間
不久的過去
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
眼前的未來
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
不久的過去
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
眼前的未來
TimePosition
and
次提案
Proposition
and
Proposition
(=>
(
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
例
GeopoliticalArea
and
GeopoliticalArea
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀
TimeDuration
RULE
例
TimeDuration
RULE and
選民年齡要求
次提案
TimeDuration
RULE and
GeopoliticalArea
的
regional
法律
包含信息
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀 and
TimeDuration
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
例
GeopoliticalArea
and
GeopoliticalArea
TimeDuration
是
GeopoliticalArea
的
suffrage
最小年紀
TimeDuration
RULE
例
TimeDuration
RULE and
選民年齡要求
次提案
TimeDuration
RULE and
GeopoliticalArea
的
regional
法律
包含信息
TimeDuration
是
GeopoliticalArea
的
suffrage
最小年紀 and
TimeDuration
RULE
(=>
(
and
(
instance
?ARGUMENT
Argument
)
(
equal
?PREMISES
(
PremisesFn
?ARGUMENT)))
(<=>
(
subProposition
?PROPOSITION ?PREMISES)
(
premise
?ARGUMENT ?PROPOSITION)))
Merge.kif 16884-16890
例
爭論
and
爭論
等於
Proposition
and
房地
爭論
次提案
Proposition
and
Proposition
Proposition
是
爭論
的
premise
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
例
GeopoliticalArea
and
GeopoliticalArea
%2 是 1% 的
government
類別
次提案
選民公民身份要求
and
GeopoliticalArea
的
regional
法律
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
例
GeopoliticalArea
and
Nation
%2 是 1% 的
government
類別
Proposition
例
Proposition
and
選舉法
次提案
Proposition
and
GeopoliticalArea
的
regional
法律
(=>
(
equal
?L
(
LyricalComponentFn
?S))
(
subProposition
?L ?S))
Music.kif 920-922
等於
LyricalContent
and
歌曲
的
lyrics
次提案
LyricalContent
and
歌曲
(=>
(
equal
?M
(
MusicalComponentFn
?S))
(
subProposition
?M ?S))
Music.kif 908-910
等於
音樂作品
and
歌曲
的
music
次提案
音樂作品
and
歌曲
(=>
(
instance
?API
ApplicationProgrammerInterface
)
(
exists
(?P)
(
and
(
instance
?P
ComputerProgram
)
(
subProposition
?API ?P))))
ComputingBrands.kif 1929-1934
例
Proposition
and
應用程式介面
Proposition
例
Proposition
and
ComputerProgram
次提案
Proposition
and
Proposition
(=>
(
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
例
Proposition
and
憲法
Formula
Proposition
例
Formula
and
Formula
包含信息
Formula
and
Proposition
例
Proposition
and
Proposition
次提案
Proposition
and
Proposition
模態屬性
Formula
and
義務
(=>
(
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
例
Proposition
and
憲法
Formula
Proposition
例
Formula
and
Formula
包含信息
Formula
and
Proposition
例
Proposition
and
Proposition
次提案
Proposition
and
Proposition
模態屬性
Formula
and
允許
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
例
GeopoliticalArea
and
Nation
Proposition
例
Proposition
and
選民年齡要求
次提案
Proposition
and
GeopoliticalArea
的
regional
法律
(=>
(
instance
?L
LyricalContent
)
(
exists
(?W ?I)
(
and
(
instance
?W
Word
)
(
containsInformation
?W ?I)
(
subProposition
?I ?L))))
Mid-level-ontology.kif 13802-13808
例
Proposition
and
LyricalContent
內容承載物理
Proposition
例
內容承載物理
and
Word
包含信息
內容承載物理
and
Proposition
次提案
Proposition
and
Proposition
(=>
(
instance
?X
TravelReservation
)
(
modalAttribute
(
exists
(?FLIGHT)
(
and
(
instance
?FLIGHT
FlightReservation
)
(
subProposition
?FLIGHT ?X)))
Likely
))
Hotel.kif 2824-2830
例
Entity
and
TravelReservation
模態屬性
entity
例
entity
and
FlightReservation
次提案
entity
and
Entity
and
容易
(=>
(
property
?AGREEMENT
Contract
)
(
forall
(?X)
(=>
(
subProposition
?X ?AGREEMENT)
(
modalAttribute
?X
Legal
))))
Mid-level-ontology.kif 14142-14147
屬性
Proposition
and
合同
Formula
次提案
Formula
and
Proposition
模態屬性
Formula
and
合法
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