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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - instrument
instrument

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1875-1878
No TPTP formula. May not be expressible in strict first order. Merge.kif 2379-2383
No TPTP formula. May not be expressible in strict first order. Merge.kif 2376-2376 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2377-2377 The number 2 argument of instrument is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2374-2374 instrument is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2375-2375 instrument is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2373-2373 instrument is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2419-2419 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2420-2420 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 135-135
No TPTP formula. May not be expressible in strict first order. english_format.kif 136-136
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 197-197 computer running is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19969-19969 conveyance is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1917-1917 eCommerceSite is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7650-7650 reagent is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 529-529 standard error device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 498-498 standard input device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 512-512 standard output device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30246-30246
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 136-136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30245-30245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30244-30244

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4113-4119
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8626-8636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8659-8669
No TPTP formula. May not be expressible in strict first order. WMD.kif 57-62
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3456-3463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18489-18496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25992-25999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8925-8929
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1391-1401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3431-3439
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3483-3494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2702-2709
No TPTP formula. May not be expressible in strict first order. WMD.kif 180-185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2482-2490
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1379-1389
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Cars.kif 1051-1068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1173-1185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13658-13670
No TPTP formula. May not be expressible in strict first order. Cars.kif 4303-4315
No TPTP formula. May not be expressible in strict first order. Cars.kif 4317-4330
No TPTP formula. May not be expressible in strict first order. Cars.kif 3169-3179
No TPTP formula. May not be expressible in strict first order. Economy.kif 4883-4894
No TPTP formula. May not be expressible in strict first order. Merge.kif 1304-1311

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9407-9417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22372-22384
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1312-1323
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4281-4295
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1083-1096
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1193-1201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3349-3359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5609-5617
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4261-4269
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2702-2709
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 407-418
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 601-609
No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
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 2156-2168
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. Mid-level-ontology.kif 9802-9810

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 3283-3289 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