Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Certificate
Certificate(证书)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3570-3571
No TPTP formula. May not be expressible in strict first order. Merge.kif 15656-15659
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2770-2770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2774-2774
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2773-2773
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2771-2771
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2652-2652
No TPTP formula. May not be expressible in strict first order. Merge.kif 15655-15655 证书 是 文本 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16509-16509 学位 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Biography.kif 236-236 出生证明 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Biography.kif 266-266 DeathCertificate 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15668-15668 金融工具 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16895-16895 保险政策 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16523-16523 执照 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Biography.kif 298-298 MarriageCertificate 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16576-16576 通过证书 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15681-15681 专利 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16590-16590 遗嘱 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16536-16536 票 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3103-3103 VaccinationCard 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3101-3101 车辆登记 是 证书 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1045-1045
No TPTP formula. May not be expressible in strict first order. english_format.kif 1301-1301
No TPTP formula. May not be expressible in strict first order. french_format.kif 723-723
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 254-254
No TPTP formula. May not be expressible in strict first order. terms-it.txt 257-257
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2407-2407
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 675-675
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 259-259
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 293-293
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 744-744
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 258-258

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16496-16496 发行由 的 1 数量 是 证书 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 277-277 签名由 的 1 数量 是 证书 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15661-15666


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