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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaseRole
CaseRole(格角色)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1860-1862
No TPTP formula. May not be expressible in strict first order. Merge.kif 2404-2407
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 483-485
No TPTP formula. May not be expressible in strict first order. Merge.kif 2402-2402 格角色非对称关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2400-2400 格角色二元谓语subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2401-2401 格角色可继承的关系subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 384-384
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 383-383
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 382-382
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4160-4160 accountUsed格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2431-2431 主事格角色instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1446-1446 amountOfBid格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23473-23473 逮捕格角色instance
No TPTP formula. May not be expressible in strict first order. Law.kif 226-226 arrestingOfficer格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13084-13084 出席格角色instance
No TPTP formula. May not be expressible in strict first order. Law.kif 443-443 attorney格角色instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1680-1680 broker格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22872-22872 货物格角色instance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 250-250 催化剂格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 10990-10990 改变位置格角色instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 201-201 电脑运行格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19678-19678 比赛参与者格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23422-23422 控制格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23528-23528 运输工具格角色instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1875-1875 数据已处理格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16266-16266 被告格角色instance
No TPTP formula. May not be expressible in strict first order. Law.kif 280-280 defenseLawyer格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2442-2442 终点格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6783-6783 被拘留者格角色instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1703 eCommerceSite格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4120-4120 eventLocated格角色instance

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. Merge.kif 3903-3903 能够 的 2 数量 是 格角色instance
No TPTP formula. May not be expressible in strict first order. Dining.kif 918-918 capabilityDuring 的 2 数量 是 格角色instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2688-2688 能够在位置 的 2 数量 是 格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23238-23238 在事件中发挥作用 的 2 数量 是 格角色instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23271-23271 在类型的事件中发挥作用 的 2 数量 是 格角色instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23252-23258
No TPTP formula. May not be expressible in strict first order. Merge.kif 9601-9607
No TPTP formula. May not be expressible in strict first order. Merge.kif 3910-3916
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2692-2701
No TPTP formula. May not be expressible in strict first order. Merge.kif 2427-2429

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


No TPTP formula. May not be expressible in strict first order. Media.kif 119-121 关系参与活动subrelation 若且唯若 那个 关系格角色instance


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