Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
エンティティー
and
Catalog
エンティティー
は
命題
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の内容を
express
es %n{ない}
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(
subclass
Proposition
Abstract
)
Merge.kif 3555-3555
命題
は
抽象的な
の
subclass
では %n
(
subclass
TPFDD
Proposition
)
MilitaryProcesses.kif 1630-1630
TPFDD
は
命題
の
subclass
では %n
(
subclass
Music
Proposition
)
Mid-level-ontology.kif 13733-13733
音楽
は
命題
の
subclass
では %n
(
subclass
LyricalContent
Proposition
)
Mid-level-ontology.kif 13786-13786
LyricalContent
は
命題
の
subclass
では %n
(
subclass
Agreement
Proposition
)
Mid-level-ontology.kif 13957-13957
Agreement
は
命題
の
subclass
では %n
(
subclass
ClassificationScheme
Proposition
)
Mid-level-ontology.kif 22773-22773
ClassificationScheme
は
命題
の
subclass
では %n
(
subclass
Policy
Proposition
)
Mid-level-ontology.kif 27185-27185
Policy
は
命題
の
subclass
では %n
(
subclass
Graph
Proposition
)
Merge.kif 5622-5622
グラフ
は
命題
の
subclass
では %n
(
subclass
GraphElement
Proposition
)
Merge.kif 5819-5819
グラフ要素
は
命題
の
subclass
では %n
(
subclass
FieldOfStudy
Proposition
)
Merge.kif 16769-16769
研究分野
は
命題
の
subclass
では %n
(
subclass
Procedure
Proposition
)
Merge.kif 16777-16777
手順
は
命題
の
subclass
では %n
(
subclass
Argument
Proposition
)
Merge.kif 16812-16812
Argument
は
命題
の
subclass
では %n
(
subclass
MealPlan
Proposition
)
Hotel.kif 1541-1541
MealPlan
は
命題
の
subclass
では %n
(
subclass
HotelPackage
Proposition
)
Hotel.kif 2725-2725
HotelPackage
は
命題
の
subclass
では %n
(
subclass
Constitution
Proposition
)
Government.kif 647-647
Constitution
は
命題
の
subclass
では %n
(
subclass
RegionalLaw
Proposition
)
Government.kif 863-863
RegionalLaw
は
命題
の
subclass
では %n
(
subclass
SuffrageLaw
Proposition
)
Government.kif 899-899
SuffrageLaw
は
命題
の
subclass
では %n
(
subclass
EconomicIndicator
Proposition
)
FinancialOntology.kif 1639-1639
EconomicIndicator
は
命題
の
subclass
では %n
(
subclass
BankStatement
Proposition
)
FinancialOntology.kif 3882-3882
BankStatement
は
命題
の
subclass
では %n
(
subclass
Model
Proposition
)
engineering.kif 69-69
Model
は
命題
の
subclass
では %n
(
subclass
Equation
Proposition
)
engineering.kif 150-150
Equation
は
命題
の
subclass
では %n
(
subclass
ScientificLaw
Proposition
)
engineering.kif 1240-1240
ScientificLaw
は
命題
の
subclass
では %n
(
subclass
MultipolePostulate
Proposition
)
engineering.kif 1266-1266
MultipolePostulate
は
命題
の
subclass
では %n
(
subclass
Catalog
Proposition
)
Catalog.kif 31-31
Catalog
は
命題
の
subclass
では %n
(
subclass
PricingScheme
Proposition
)
Catalog.kif 184-184
PricingScheme
は
命題
の
subclass
では %n
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