TreeView Knowledge Base Browser - containsFormula

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

containsFormula

Sigma KEE - containsFormula

containsFormula

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1373-1377
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1367-1367	containsFormula 的 1 数量是内容承载物理的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1368-1368	containsFormula 的 2 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1366-1366	containsFormula 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1371-1371
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1369-1369	包含信息和 containsFormula 是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1370-1370

antecedent

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

Government.kif 2331-2338

如果有点有内用物体是党的平台的 subclass 和有认知的主事是有点有内用物体的 authors 和那个有认知的主事是政治党派的 instance 和内容承载物理是那个有点有内用物体的 instance 和 containsFormula 那个内容承载物理 and 公式，
然后那个有认知的主事 believes 那个公式

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12046-12062	如果过程是决定的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient 和那个实体是集合的 instance 和内容承载物理是那个过程的 result 和那个内容承载物理是内容承载物理的 instance，然后 containsFormula 那个内容承载物理 and 有存在另一个实体这样那个另外实体是那个实体的 element 和那个另外实体是有意图过程的 instance 和那个施事体是那个另外实体的 agent 在那个过程出现的 time 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	如果过程是 Misdiagnosing 的 instance 和有认知的主事是那个过程的 agent 和那个过程提到实体和那个实体是人类的 instance，然后有存在那个有认知的主事IS 这样 containsFormula 那个过程 and 那个有认知的主事IS 是那个实体的 attribute 和那个有认知的主事IS 是疾病或综合症的 instance 和那个有认知的主事 believes 那个有认知的主事IS 是那个实体的 attribute 和那个有认知的主事IS 是那个实体的 attribute 是假
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	如果内容承载物理是出生证明的 instance 和过程是出生的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程，然后 containsFormula 那个内容承载物理 and 有存在实体，另一个实体， and 和第三实体这样那个实体是那个施事体的 birthdate 和那个实体是日的 instance 和那个另外实体是那个施事体的 birthplace 和那个另外实体是地理区域的 instance 和那个第三实体表达那个施事体和那个第三实体是 Name 的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	如果内容承载物理是 DeathCertificate 的 instance 和过程是死亡的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程，然后 containsFormula 那个内容承载物理 and 有存在那个过程AY，另一个实体,，，第三实体， and 和那个另外实体ROC 这样那个过程AY 是那个施事体的 deathdate 和那个过程AY 是日的 instance 和那个另外实体是那个施事体的 deathplace 和那个另外实体是地理区域的 instance 和那个第三实体表达那个施事体和那个第三实体是 Name 的 instance 和那个另外实体ROC causes 那个过程和那个另外实体ROC 是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 307-317	如果内容承载物理是 MarriageCertificate 的 instance 和人类是人类的 instance 和另一个人类是人类的 instance 和那个人类是那个另外人类的 spouse ，然后 containsFormula 那个内容承载物理 and 有存在实体这样那个人类和那个另外人类之前是 married 在那个实体和那个实体是日的 instance
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.	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