subjectiveAttribute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subjectiveAttribute

subjectiveAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 310-311
No TPTP formula. May not be expressible in strict first order.	Dining.kif 313-313	subjectiveAttribute 的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 314-314	subjectiveAttribute 的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 315-315	subjectiveAttribute 的 3 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 312-312	subjectiveAttribute 是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4690-4690
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4689-4689
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4688-4688
No TPTP formula. May not be expressible in strict first order.	Dining.kif 316-316

antecedent

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 那个实数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3062-3075	如果施事体 believes 另一个施事体是属性和那个属性是 FoodRating 的 instance 和那个另外施事体是施事体的 instance，然后有存在实体，过程， and 和另一个过程这样那个过程是烹饪的 instance 和那个另外施事体是那个过程的 agent 和那个实体是那个过程的 result 和那个另外过程是分类的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程在那个实体结束和那个属性是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3030-3034	如果施事体 believes 客体是属性和那个属性是 HotelRating 的 instance，然后旅客住宿是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3040-3044	如果施事体 believes 实体是属性和那个属性是 RestaurantRating 的 instance，然后那个实体是餐厅的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3091-3103	如果施事体 believes 另一个施事体是属性和那个属性是 ServiceRating 的 instance 和那个另外施事体是施事体的 instance，然后有存在过程和另一个过程这样那个过程是服务的 instance 和那个另外施事体是那个过程的 agent 和那个另外过程是分类的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程在那个过程结束和那个属性是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1026-1030	如果施事体 believes 实体是属性和那个属性是 TimeAttribute 的 instance，然后那个实体是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1012-1020	如果有认知的主事 believes 实体是 Favorite 和那个实体是类的 instance，然后有存在另一个实体这样不那个有认知的主事 believes 那个另外实体是 Favorite 和那个另外实体是那个类的 instance 和那个有认知的主事 prefers 那个有认知的主事 wants 那个实体于那个有认知的主事 wants 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 900-909	如果施事体 believes 客体是韩元和那个客体是 food for 人类的 instance，然后有存在比赛，另一个施事体， and 和过程这样那个另外施事体 entered 那个客体在那个比赛和那个过程是判断的 instance 和那个施事体是那个过程的 agent 和那个过程%n是那个比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Dining.kif 318-325	如果施事体 believes 实体是属性，然后有存在过程这样那个过程是分类的 instance 和那个施事体是那个过程的 agent 和那个属性是那个过程的 patient 和那个过程在那个实体结束

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1012-1020	如果有认知的主事 believes 实体是 Favorite 和那个实体是类的 instance，然后有存在另一个实体这样不那个有认知的主事 believes 那个另外实体是 Favorite 和那个另外实体是那个类的 instance 和那个有认知的主事 prefers 那个有认知的主事 wants 那个实体于那个有认知的主事 wants 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	如果施事体 entered 客体在比赛，然后那个施事体 participates 在那个比赛和有存在过程，另一个施事体,，，另一个过程， and 和实体这样那个过程是制作的 instance 和那个客体是那个过程的 result 和那个施事体是那个过程的 agent 和那个另外过程是判断的 instance 和那个另外施事体是那个另外过程的 agent 和那个客体是那个另外过程的 patient 和那个另外施事体 believes 那个客体是那个实体是那个另外过程的 result 和那个另外过程%n是那个比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	如果施事体要求顾客去穿 AmbienceAttribute ，然后有存在实体和另一个实体这样那个实体是 Outfit 的 instance 和那个施事体 believes 那个实体是那个 AmbienceAttribute 和对所有第三实体和第四实体那个施事体是那个第三实体的 customer 和那个第三实体对于那个施事体在时间那个另外实体 located 和那个第四实体是那个实体的 member 和那个第三实体 wears 那个第四实体在那个另外实体 holdsDuring 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1437-1445	如果实体是增殖的 instance，然后有存在过程，施事体， and 和另一个实体这样那个过程是分类的 instance 和那个施事体是那个过程的 agent 和那个另外实体是增加的 instance 和那个过程在那个另外实体结束和那个施事体 believes 那个另外实体是 Quick

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