TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1550-1551
No TPTP formula. May not be expressible in strict first order.	Merge.kif 835-837
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 120-121
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 139-140
No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	物理详尽无遗地 partition 成客体和过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 832-832	物理是实体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 816-816	实体详尽无遗地 partition 成物理和抽象体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1304-1304	内容承载物理是物理的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 41-41	金融资产是物理的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	客体是物理的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6121-6121	物理系统是物理的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1622-1622	过程是物理的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 814-814
No TPTP formula. May not be expressible in strict first order.	english_format.kif 830-830
No TPTP formula. May not be expressible in strict first order.	french_format.kif 490-490
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 24-24
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 26-26
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2175-2175
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 442-442
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 27-27
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 511-511
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 27-27

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8468-8468	何时函数的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4222-4222	表示位置的函数的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6112-6112	abstractCounterpart 的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7702-7702	海拔的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7703-7703	海拔的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24181-24181	周年的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2120-2120	attitudeForObject 的 3 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8389-8389	同时发生的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8390-8390	同时发生的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3817-3817	courseWRT罗盘北的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3818-3818	courseWRT罗盘北的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3785-3785	courseWRT北磁的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3786-3786	courseWRT北磁的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3722-3722	courseWRT 真北的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3723-3723	courseWRT 真北的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8544-8544	日期的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2555-2555	日期解散的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 978-978	建立日期的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7680-7680	距离的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7681-7681	距离的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 178-178	evidence 的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5428-5428	流动的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5429-5429	流动的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3945-3945	意图的 1 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3961-3961	主事的意图的 1 数量是物理的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29963-29972	如果有认知的主事 buys 实体从施事体和那个实体是物理的 instance，然后有存在过程这样那个过程是购买的 instance 和那个实体是那个过程的 patient 和那个有认知的主事是那个过程的 agent 和那个施事体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7960-7967	如果实体物理 and 另一个物理在时间位置 holdsDuring 和那个物理是物理的 instance 和那个另外物理是物理的 instance，然后那个物理在那个时间位置是存在和那个另外物理在那个时间位置是存在
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.	UXExperimentalTerms.kif 1416-1425	如果 Bidding 是 Bidding 的 instance 和客体是物理的 instance 和货币测量是货币测量的 instance 和施事体是那个施事体的 instance 和那个 Bidding 是个 bid 对于那个客体和那个货币测量是那个 Bidding 的 bid 和那个施事体是那个 Bidding 的 agent，然后那个施事体 bids 那个货币测量對於那个客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	如果躯体性物体是 ViewItemPage 的 instance 和过程是 WebListing 的 instance 和那个过程是那个躯体性物体的 component 和实体是那个过程的 patient 和那个实体是物理的 instance，然后有存在另一个过程，第三过程， and 和那个另外过程CONTENT 这样那个第三过程是陈述的 instance 和那个另外过程是那个第三过程的 patient 和那个另外过程提到那个实体和那个另外过程CONTENT 是那个另外过程的 result 和那个另外过程CONTENT 是那个躯体性物体的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8249-8256	如果实体是二元谓语的 instance 和那个实体是空间关系的 instance 和物理是物理的 instance 和另一个物理是物理的 instance 和那个实体那个物理 and 那个另外物理，然后那个另外物理出现的 time 时段和那个物理出现的 time 重叠
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12984-12997	如果过程是 Searching 的 instance 和物理是那个过程的 patient 和那个物理是物理的 instance，然后有存在客体和施事体这样那个施事体是有认知的主事的 instance 和那个施事体是那个过程的 agent 和那个客体是客体的 instance 和那个物理是 located 在那个客体和那个施事体在那个过程的目的是那个施事体 knows 那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	如果施事体 offers 拍卖样品在 Catalog 和有点实体是在那个 Catalog 和有点实体是物理的 subclass，然后有存在另一个实体和第三实体这样那个第三实体是那个有点实体的 instance 和那个另外实体是出售的 instance 和那个施事体是那个另外实体的 agent 和那个第三实体是那个另外实体的 patient 的声明 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.	Mid-level-ontology.kif 25580-25585	如果物理有形状属性的 attribute 和那个物理是物理的 instance 和那个形状属性是形状属性的 instance，然后那个物理是那个形状属性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 839-844	如果物理是物理的 instance，然后有存在客体和时间位置这样那个物理是 located 在那个客体和那个物理在那个时间位置是存在

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1066-1070	如果属性是客体的 attribute 和那个属性是 AmbienceAttribute 的 instance，然后那个客体是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26594-26602	如果 Historical 是客体的 attribute 和那个客体是城市的 instance，然后有存在另一个客体这样那个另外客体是物理的 instance 和 Historical 是那个另外客体的 attribute 和那个另外客体是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是金融交易的 instance ，然后有存在符号串和实体这样那个符号串所描述的类别 instance 的数量 equal 在那个群体裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在实体，另一个实体， and 和第三实体这样那个实体所描述的类别 instance 的数量和那个群体 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在符号串，实体,，，另一个实体， and 和那个符号串这样那个符号串所描述的类别 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2715-2719	如果实体是对象态度的 instance 和那个实体另一个实体 and 第三实体，然后那个第三实体是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26586-26588	如果 Historical 是客体的 attribute，然后那个客体是物理的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	如果过程是 FinalValueFee 的 instance，然后有存在 WebListing，金融交易,，，施事体,，，实体， and 和 WebSite 这样那个 WebListing 是 WebListing 的 instance 和那个金融交易是出售的 instance 和那个施事体是施事体的 instance 和那个实体是物理的 instance 和那个 WebListing 是 WebListing 的 instance 和那个实体是那个 WebListing 的 patient 和那个实体是那个金融交易的 patient 和那个金融交易 causes 那个过程和那个施事体是那个过程的 agent 和那个 WebListing 是在那个 WebSite hosted 和那个施事体 possesses 那个 WebSite 和那个施事体 facilitates 那个金融交易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15872-15877	如果实体是代表性的艺术作品的 instance，然后有存在另一个实体这样那个另外实体是物理的 instance 和那个实体表达那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12970-12982	如果过程是 Searching 的 instance，然后有存在施事体，物理， and 和客体这样那个施事体是有认知的主事的 instance 和那个施事体是那个过程的 agent 和那个物理是物理的 instance 和那个物理是那个过程的 patient 和那个客体是客体的 instance 和那个物理是 located 在那个客体和那个施事体在那个过程的目的是那个施事体 knows 那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 943-948	如果实体是 View 的 instance，然后有存在另一个实体这样那个另外实体是物理的 instance 和那个实体表达那个另外实体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	如果数据库是 catalog 对于 WebSite ，然后有存在客体，群体， and 和符号串这样那个群体是群体的 instance 和那个客体是那个数据库的 part 和那个客体表达那个群体和对所有另一个客体如果那个另外客体是那个群体的 member，然后那个另外客体是物理的 instance 和那个另外客体能够担当受事的角色做那个符号串所描述的类别

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

KB Term:			Term intersection

English Word: