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. Mid-level-ontology.kif 27656-27658
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27653-27653 The number 1 argument of objectTransferred is an instance of transfer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27654-27654 The number 2 argument of objectTransferred is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27651-27651 objectTransferred is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27652-27652 objectTransferred is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27655-27655

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16379-16395
No TPTP formula. May not be expressible in strict first order. Cars.kif 1731-1747
No TPTP formula. May not be expressible in strict first order. Cars.kif 3909-3919
No TPTP formula. May not be expressible in strict first order. Cars.kif 3921-3937
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3846-3859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2447-2456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27660-27671

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


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. Weather.kif 1273-1294
No TPTP formula. May not be expressible in strict first order. Cars.kif 2196-2204
No TPTP formula. May not be expressible in strict first order. Cars.kif 2180-2188
No TPTP formula. May not be expressible in strict first order. Cars.kif 5165-5171
No TPTP formula. May not be expressible in strict first order. Cars.kif 5152-5157
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3209-3219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4819-4828
No TPTP formula. May not be expressible in strict first order. Weather.kif 1351-1371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16039-16048
No TPTP formula. May not be expressible in strict first order. Weather.kif 2796-2808
No TPTP formula. May not be expressible in strict first order. Cars.kif 2404-2409
No TPTP formula. May not be expressible in strict first order. Cars.kif 2679-2687
No TPTP formula. May not be expressible in strict first order. Cars.kif 3034-3042
No TPTP formula. May not be expressible in strict first order. Cars.kif 3050-3058
No TPTP formula. May not be expressible in strict first order. Cars.kif 4492-4494
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3399-3407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28081-28101
No TPTP formula. May not be expressible in strict first order. Cars.kif 3013-3018
No TPTP formula. May not be expressible in strict first order. Cars.kif 3834-3850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28106-28126
No TPTP formula. May not be expressible in strict first order. Weather.kif 2958-2963
No TPTP formula. May not be expressible in strict first order. Weather.kif 1158-1170
No TPTP formula. May not be expressible in strict first order. Weather.kif 2990-2995
No TPTP formula. May not be expressible in strict first order. Weather.kif 1058-1070

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 3299-3305 IBookstore 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