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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CaseRole

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 子類 CaseRole and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2400-2400 子類 CaseRole and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2401-2401 子類 CaseRole and 可繼承的關係

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 and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 2431-2431 agent and CaseRole
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1446-1446 amountOfBid and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23473-23473 被捕 and CaseRole
No TPTP formula. May not be expressible in strict first order. Law.kif 226-226 arrestingOfficer and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 13084-13084 出席 and CaseRole
No TPTP formula. May not be expressible in strict first order. Law.kif 443-443 attorney and CaseRole
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1680-1680 broker and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22872-22872 貨物 and CaseRole
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 250-250 催化劑 and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 10990-10990 改變位置 and CaseRole
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 201-201 電腦運行 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19678-19678 比賽參與者 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23422-23422 受控 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23528-23528 輸送 and CaseRole
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1875-1875 數據已處理 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16266-16266 被告 and CaseRole
No TPTP formula. May not be expressible in strict first order. Law.kif 280-280 defenseLawyer and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 2442-2442 目的地 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6783-6783 被拘留者 and CaseRole
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1703 eCommerceSite and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 4120-4120 eventLocated and CaseRole

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 and CaseRole
No TPTP formula. May not be expressible in strict first order. Dining.kif 918-918 capabilityDuring, 2 and CaseRole
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2688-2688 能夠在位置, 2 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23238-23238 在事件中發揮作用, 2 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23271-23271 在類型的事件中發揮作用, 2 and CaseRole

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 子關係 Relation and 參與活動 Relation and CaseRole


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