Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 322-337
instance
Process
and
Buying
patient
Process
and
Entity
origin
Process
and
CognitiveAgent
publishedPrice
Entity
,
CurrencyMeasure
,
CognitiveAgent
and
PricingScheme
unitPrice
Entity
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
subclass
Entity
and
Physical
immediateInstance
Entity
and
Entity
validPaymentType
PricingScheme
and
Payment
modalAttribute
Payment
MENT
instance
Payment
MENT and
Payment
subProcess
Payment
MENT and
Process
and
Likely
(=>
(
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 357-372
publishedPrice
Entity
,
CurrencyMeasure
,
CognitiveAgent
and
PricingScheme
unitPrice
Entity
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
subclass
Entity
and
Physical
immediateInstance
Entity
and
Entity
validityPeriod
PricingScheme
and
TimeInterval
holdsDuring
TimeInterval
and
modalAttribute
instance
entity
and
Selling
agent
entity
and
CognitiveAgent
patient
entity
and
Entity
transactionAmount
entity
and
CurrencyMeasure
and
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 339-355
publishedPrice
Entity
,
CurrencyMeasure
,
CognitiveAgent
and
PricingScheme
unitPrice
Entity
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
subclass
Entity
and
Physical
immediateInstance
Entity
and
Entity
validFor
PricingScheme
and
Agent
instance
Entity
and
Agent
modalAttribute
instance
entity
and
Buying
agent
entity
and
Entity
origin
entity
and
CognitiveAgent
patient
entity
and
Entity
transactionAmount
entity
and
CurrencyMeasure
and
Likely
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners