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 11485-11487
No TPTP formula. May not be expressible in strict first order. Merge.kif 11482-11482 The number 1 argument of object transferred is an instance of transfer
No TPTP formula. May not be expressible in strict first order. Merge.kif 11483-11483 The number 2 argument of object transferred is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 11480-11480 object transferred is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 11481-11481 object transferred is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11484-11484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32695-32695 passenger is a subrelation of object transferred
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24501-24501 transported is a subrelation of object transferred
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65898-65898 transported is a subrelation of object transferred

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20250-20266
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3180-3195
No TPTP formula. May not be expressible in strict first order. Cars.kif 1724-1740
No TPTP formula. May not be expressible in strict first order. Cars.kif 3954-3964
No TPTP formula. May not be expressible in strict first order. Cars.kif 3966-3982
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 11103-11124
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 3631-3647
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4141-4151
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4129-4139
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6551-6562
No TPTP formula. May not be expressible in strict first order. Merge.kif 11502-11507
No TPTP formula. May not be expressible in strict first order. Merge.kif 11509-11514
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2449-2458
No TPTP formula. May not be expressible in strict first order. Medicine.kif 844-866
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 11489-11500

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2625-2638
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 3180-3195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6993-7012
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 7059-7077
No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-2012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1838-1848
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12699-12716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13246-13263
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. Cars.kif 2150-2158
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6551-6562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10607-10617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1362-1381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1337-1352
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1699-1711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7532-7544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7504-7514
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3821-3835
No TPTP formula. May not be expressible in strict first order. Medicine.kif 886-908
No TPTP formula. May not be expressible in strict first order. Merge.kif 11502-11507
No TPTP formula. May not be expressible in strict first order. Merge.kif 11509-11514
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3213-3225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32892-32907

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 3305-3311 IBookstore has the purpose there exists ?D such that ?D is an instance of downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?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