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
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
Wenn
publishedPrice
** Entity
,
CurrencyMeasure
,
CognitiveAgent
and
PricingScheme
oder
unitPrice
** Entity
,
FunctionQuantity
,
** CognitiveAgent
and
** PricingScheme
und
** ** Entity
ist eine
teilkategorie
von
Physical
und
** Entity
ist ein
direkter
fall von
** ** Entity
und
validityPeriod
** PricingScheme
and
TimeInterval
,
dann die Aussage
wenn
** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** entity
%n{nicht},
dann
transactionAmount
** ** entity
and
** CurrencyMeasure
hat die modale Kraft von
Likely
haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
Wenn
DutyFree
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Store
%n{nicht},
dann es gibt
GeopoliticalArea
,
Entity
,, ,
** ** Object
, and und
Process
um
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
** ** Object
ist eine
teilkategorie
von
Object
und
importCommodityType
** GeopoliticalArea
and
** ** ** Object
und
** Entity
ist ein
fall
von
** ** ** Object
%n{nicht} und
** Process
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
befindet
sich an %n{nicht}
(=>
(
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
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Proposition
,
dann die Aussage es gibt
** entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** entity
druekt den Inhalt von
** ** entity
aus und
** ** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
Wenn
offers
AutonomousAgent
and
Catalog
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Physical
,
dann die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
(
subclass
Selling
FinancialTransaction
)
Merge.kif 11901-11901
Selling
ist eine
teilkategorie
von
FinancialTransaction
(
subclass
Auctioning
Selling
)
UXExperimentalTerms.kif 328-328
Auctioning
ist eine
teilkategorie
von
Selling
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