TreeView Knowledge Base Browser - publishedPrice

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - publishedPrice

publishedPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 327-329
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 333-333	publishedPrice 的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 334-334	publishedPrice 的 3 数量是有认知的主事的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 335-335	publishedPrice 的 4 数量是 PricingScheme 的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 332-332	publishedPrice 的 1 数量是实体的 subclass
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 326-326	publishedPrice 是四元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4274-4274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4273-4273
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4272-4272
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 330-330

antecedent

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	如果过程是购买的 instance 和实体是那个过程的 patient 和有认知的主事是那个过程的源头和另一个有点实体的 price 从那个有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是另一个有点实体和那个另外有点实体是物理的 subclass 和那个实体是那个另外有点实体的 immediateInstance 和有点付款是 valid payment 在那个 PricingScheme 底下，然后有存在有点付款MENT 这样那个有点付款MENT 是那个有点付款的 instance 和那个有点付款MENT%n是那个过程的subProcess 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	如果有点实体的 price 从有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是有点实体和那个有点实体是物理的 subclass 和另一个实体是那个有点实体的 immediateInstance 和那个 PricingScheme 是 valid 对于有点施事体和第三实体是有点施事体的 instance，然后如果第四实体是购买的 instance 和那个第三实体是那个第四实体的 agent 和那个有认知的主事是那个第四实体的源头和那个另外实体是那个第四实体的 patient，然后那个货币测量是那个第四实体的 transaction 总额的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	如果有点实体的 price 从有认知的主事根据 PricingScheme 是货币测量或 unit price 已收费那个有认知的主事在那个 PricingScheme 底下对于函数量是有点实体和那个有点实体是物理的 subclass 和另一个实体是那个有点实体的 immediateInstance 和那个 PricingScheme 是 valid during 时距，然后如果第三实体是出售的 instance 和那个有认知的主事是那个第三实体的 agent 和那个另外实体是那个第三实体的 patient，然后那个货币测量是那个第三实体的 transaction 总额的声明 has 容易的语气在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	如果有认知的主事 sells 有点实体對於实数测量单位和那个测量单位是 UnitOfCurrency 的 instance 和有点实体的 price 从那个有认知的主事根据 PricingScheme 是另一个实数那个测量单位和那个 PricingScheme 是 valid 对于有点施事体和另一个实体是那个有点实体的 instance 和过程是购买的 instance 和另一个施事体是有点施事体的 immediateInstance 和那个另外施事体是那个过程的 agent 和那个有认知的主事是那个过程的源头和那个另外实数是 lessThan 那个实数，然后那个实数是那个过程的 transaction 总额的声明 has 容易的语气

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