TreeView Knowledge Base Browser - MarriageCertificate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Biography.kif 299-301
No TPTP formula. May not be expressible in strict first order.	Biography.kif 298-298	MarriageCertificate 是证书的 subclass

antecedent

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.	Biography.kif 303-305	如果客体是 MarriageCertificate 的 instance，然后合法是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Biography.kif 319-335	如果实体是 MarriageCertificate 的 instance，然后有存在过程，另一个过程,，，施事体， and 和另一个施事体这样那个过程是签署协议的 instance 和那个实体是那个过程的 patient 和那个另外过程是婚礼的 instance 和那个实体表达那个另外过程和那个过程%n是那个另外过程的subProcess 和那个施事体是那个另外过程的 patient 和那个施事体是人类的 instance 和那个另外施事体是那个另外过程的 patient 和那个另外施事体是人类的 instance 和那个施事体不 equal 那个另外施事体和那个施事体是那个过程的 agent 和那个另外施事体是那个过程的 agent