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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - objectTransferred
objectTransferred

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11335-11337
No TPTP formula. May not be expressible in strict first order. Merge.kif 11332-11332 objectTransferred 的 1 数量 是 转移instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 11333-11333 objectTransferred 的 2 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 11330-11330 objectTransferred格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 11331-11331 objectTransferred受事subrelation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11334-11334
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30761-30761 passengerobjectTransferredsubrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65887-65887

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18679-18695
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3179-3194
No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
No TPTP formula. May not be expressible in strict first order. Cars.kif 3893-3903
No TPTP formula. May not be expressible in strict first order. Cars.kif 3905-3921
No TPTP formula. May not be expressible in strict first order. WMD.kif 1563-1575
No TPTP formula. May not be expressible in strict first order. WMD.kif 1545-1554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9774-9795
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 88-99
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3628-3644
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4135-4145
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4123-4133
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6532-6543
No TPTP formula. May not be expressible in strict first order. Merge.kif 11352-11357
No TPTP formula. May not be expressible in strict first order. Merge.kif 11359-11364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1986-1995
No TPTP formula. May not be expressible in strict first order. Medicine.kif 853-875
No TPTP formula. May not be expressible in strict first order. WMD.kif 1089-1103
No TPTP formula. May not be expressible in strict first order. Merge.kif 11339-11350

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2162-2175
No TPTP formula. May not be expressible in strict first order. Cars.kif 871-885
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3179-3194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6056-6075
No TPTP formula. May not be expressible in strict first order. emotion.kif 1129-1139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6122-6140
No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11368-11385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11915-11932
No TPTP formula. May not be expressible in strict first order. Cars.kif 2182-2190
No TPTP formula. May not be expressible in strict first order. Cars.kif 2166-2174
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6532-6543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9278-9288
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1664-1676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6595-6607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6567-6577
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3826-3840
No TPTP formula. May not be expressible in strict first order. Medicine.kif 895-917
No TPTP formula. May not be expressible in strict first order. Merge.kif 11352-11357
No TPTP formula. May not be expressible in strict first order. Merge.kif 11359-11364
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3217-3229
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30956-30971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30923-30938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30973-30987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30940-30954

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3309-3315 IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載instanceiBookstore 是导致 ?D 的 instrument 和 ?T 是 文本instanceobjectTransferred ?D and ?T


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