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 子類 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