UnitOfDuration - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UnitOfDuration

UnitOfDuration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2431-2433
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6341-6344
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1122-1124
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6339-6339	UnitOfDuration 是 NonCompositeUnitOfMeasure 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19061-19061	CenturyDuration 是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7083-7083	一天长度是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8755-8755	DecadeDuration 是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7091-7091	小时是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13680-13680	MillenniumDuration 是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7099-7099	分钟是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7116-7116	月持续时间是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6708-6708	第二期是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7107-7107	周持续时间是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7134-7134	年持续时间是 UnitOfDuration 的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65655-65655

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6400-6404	如果实数测量单位 equal 物理量和那个测量单位是 UnitOfDuration 的 instance，然后那个物理量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2016-2029	如果过程是 SpeakingAtAFasterRate 的 instance 和另一个过程是 SpeakingAtASlowerRate 的 instance 和测量单位是 UnitOfDuration 的 instance 和施事体是那个过程的 agent 和那个施事体是那个另外过程的 agent 和那个过程 contains 命题的资料和那个另外过程 contains 那个命题的资料和那个过程出现的 time 的 duration 是实数那个测量单位和那个另外过程出现的 time 的 duration 是另一个实数那个测量单位，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2104-2113	如果物理是 SpeakingAShortUtterance 的 instance 和另一个物理是 SpeakingALongUtterance 的 instance 和测量单位是 UnitOfDuration 的 instance 和那个物理出现的 time 的 duration 是实数那个测量单位和那个另外物理出现的 time 的 duration 是另一个实数那个测量单位，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	如果有点物理由有认知的主事定的 price 根据 PricingScheme 是函数量和那个函数量 equal 实数的 measure 是测量单位是货币测量的 per 和那个测量单位是 UnitOfDuration 的 instance 和实体是有点物理的 immediateInstance 和过程是租的 instance 和那个实体是那个过程的 patient 和施事体是那个过程的 agent 和那个过程在那个实数INT 是存在，然后对所有另一个时距如果有存在另一个实数这样那个实数INT 在那个另外时距时段内发生和那个另外时距是时距的 instance 和那个另外时距的 duration 是那个另外实数那个测量单位和那个另外实数是 lessThanOrEqualTo 那个实数，然后有存在金融交易这样那个金融交易是付款的 instance 和那个金融交易在那个有认知的主事结束和那个施事体是那个金融交易的 agent 和那个货币测量是那个金融交易的 transaction 总额
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	如果车辆的 top speed 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance 和实体是 UnitOfLength 的 instance 和另一个实体是 UnitOfDuration 的 instance 和另一个实数 equal 那个车辆的 measure 是长度测量那个实体除以持续时间那个另外实体的机率和第三实数 equal 那个车辆的 measure 是另一个长度测量那个实体除以另一个持续时间那个另外实体的机率和那个长度测量除以那个持续时间是 greaterThan 那个实数和那个实数是 greaterThan 那个另外长度测量除以那个另外持续时间，然后那个第三实数是 greaterThan 那个另外实数

consequent

No TPTP formula. May not be expressible in strict first order.

Dining.kif 1044-1059

如果施事体 believes 另一个施事体是 Quick 和那个施事体 believes 第三施事体是 Slow 和过程是类的 instance 和另一个过程是那个类的 instance 和那个类是过程的 subclass 和那个另外施事体是那个过程的 agent 和那个第三施事体是那个另外过程的 agent，
然后测量单位是 UnitOfDuration 的 instance 和那个过程出现的 time 的 duration 是实数那个测量单位和那个另外过程出现的 time 的 duration 是另一个实数那个测量单位和那个另外实数是 greaterThan 那个实数

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