Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLangauge
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SSHWS1
SSHWS2
SSHWS3
SSHWS4
SSHWS5
SSHWSAttribute
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - PurchaseOrder
PurchaseOrder
bill-me_order
,
credit_order
,
indent
,
mail_order
,
open_account
,
order
,
production_order
,
purchase_order
,
reorder
,
stop_payment
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28104-28104
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28103-28103
PurchaseOrder
is a
subclass
of
financial text
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28106-28126
If
an entity
is an
instance
of
PurchaseOrder
,
then there exist
a symbolic string
,
a cognitive agent
and
another cognitive agent
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
another entity
from
the other cognitive agent
and
the cognitive agent
obligate
s
the other cognitive agent
to perform task of the type there exists
a third entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the third entity
and
the third entity
is an
instance
of
buying
and
the other entity
is an
instance
of
product
and the object transferred in
the third entity
is
the other entity
and
the entity
includes a
reference
to
the other entity
and
the cognitive agent
is an
agent
of
the third entity
and
the other cognitive agent
is a
patient
of
the third entity
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 28214-28220
If
a symbolic string
is an
instance
of
PurchaseOrderNumber
,
then there exist
a physical
,
a cognitive agent
,, ,
another cognitive agent
and
an entity
such that
the physical
is an
instance
of
PurchaseOrder
and
the cognitive agent
buys
the entity
from
the other cognitive agent
and
the symbolic string
is a
unique
ID
for
the cognitive agent
with respect to
the physical
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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
