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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Report

 Sigma KEE - Report
Report(报告)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14800-14802
No TPTP formula. May not be expressible in strict first order. pictureList.kif 690-690
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2730-2730
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2920-2920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2924-2924
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2921-2921
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2923-2923
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2922-2922
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2925-2925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14799-14799 报告 是 文章 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14798-14798 报告 是 事实文本 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14932-14932 财务文本 是 报告 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49510-49510
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49509-49509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49508-49508

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14809-14814
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1233-1238


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