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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14773-14775
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 14772-14772 报告 是 文章 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14771-14771 报告 是 事实文本 的 subclass

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


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

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


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


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