TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3258-3259
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13139-13140
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13138-13138	陈述是语言交流的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13036-13036	沟通详尽无遗地 partition 成陈述, 假如, 指令g, 承诺, 表示, 和声明
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 894-894	回答中是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29615-29615	Apologizing 是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 906-906	争论是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29634-29634	Confirming 是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29686-29686	Correcting 是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13150-13150	不同意是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4180-4180	Misdiagnosing 是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16124-16124	恳求是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 125-125	ReachingAgreement 是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 882-882	注册是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2692-2692	SITREP 是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 450-450	终端攻击控制是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 502-502	终端指导是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16162-16162	作证是陈述的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1198-1198
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1613-1613
No TPTP formula. May not be expressible in strict first order.	french_format.kif 876-876
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 409-409
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 412-412
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2560-2560
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 414-414
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 448-448

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.	Merge.kif 13142-13148	如果过程是陈述的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient 和那个实体是公式的 instance，然后那个施事体 believes 那个实体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14236-14241	如果过程是陈述的 instance 和实体是那个过程的 result 和那个实体是句子的 instance，然后那个实体是声明的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29639-29653	如果时距是 Confirming 的 instance 和协议是那个时距的 agent 和那个时距 contains 命题的资料，然后有存在另一个时距，内容承载物理， and 和那个协议2 这样那个另外时距是陈述的 instance 和那个另外时距比那个时距发生的earlier 和那个内容承载物理是 ReachingAgreement 的 instance 和那个协议2 是那个另外时距的 agent 和那个内容承载物理 contains 那个命题的资料和那个另外时距 contains 那个命题的资料和那个协议是那个内容承载物理的 party 协议和那个协议2 是那个内容承载物理的 party 协议
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	如果机构是政府内阁的 instance 和那个机构是地缘政治区域的 Government Organization 的一部分和那个地缘政治区域是地缘政治区域的 instance，然后那个机构的目的是有存在实体和另一个实体这样那个实体是陈述的 instance 和那个机构是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个地缘政治区域的 Government 是那个另外实体的 leader
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.	Mid-level-ontology.kif 16153-16160	如果公式 describes 客体，然后有存在过程和施事体这样那个过程是陈述的 instance 和那个施事体是那个过程的 agent 和那个公式是那个过程的 patient 和那个过程提到那个客体
No TPTP formula. May not be expressible in strict first order.	Law.kif 65-78	如果 prohibits 施事体 and 实体在时距 holdsDuring，然后有存在过程，另一个实体， and 和第三实体这样那个过程是陈述的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体是那个过程的 agent 和 containsFormula 那个过程 and 如果那个另外实体是那个第三实体的 agent causes 那个实体是真正，然后 punishes 那个施事体 and 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29691-29703	如果过程是 Correcting 的 instance，然后有存在另一个过程，第三过程,，，那个第三过程P， and 和那个过程P 这样那个另外过程是不同意的 instance 和那个过程%n是那个另外过程的subProcess 和那个第三过程是陈述的 instance 和那个第三过程%n是那个另外过程的subProcess 和那个第三过程 contains 那个第三过程P 的资料和那个过程 contains 那个过程P 的资料和那个过程P 提到那个第三过程P 和那个第三过程P 不是那个过程P 的 consistent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2043-2052	如果客体是 ProductDescriptionPage 的 instance，然后有存在实体，过程,，，另一个过程， and 和那个过程CONTENT 这样那个实体是类的 instance 和那个另外过程是陈述的 instance 和那个过程是那个另外过程的 patient 和那个过程提到那个实体和那个过程CONTENT 是那个过程的 result 和那个过程CONTENT 是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Law.kif 400-415	如果 trusts 有认知的主事, 施事体 and 有点有意图过程，然后那个有认知的主事 believes 如果有存在实体，有点有意图过程I， and 和那个有点有意图过程这样那个实体是陈述的 instance 和 containsFormula 那个实体 and 那个有点有意图过程I 是那个有点有意图过程的 instance 和那个施事体是那个有点有意图过程I 的 agent，然后那个有点有意图过程I 是那个有点有意图过程的 instance 和那个施事体是那个有点有意图过程I 的 agent 的声明 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

KB Term:			Term intersection

English Word: