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

Formal Language: 



KB Term:  Term intersection
English Word: 

  instrument

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 2380-2384
No TPTP formula. May not be expressible in strict first order. Merge.kif 2377-2377 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2378-2378 The number 2 argument of instrument is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2375-2375 instrument is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2376-2376 instrument is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2374-2374 instrument is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2420-2420 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2421-2421 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 21489-21489 conveyance is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1914-1914 eCommerceSite is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8466-8466 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 30187-30187
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 30186-30186
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30185-30185

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 4717-4723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9484-9494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9517-9527
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 3414-3421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19846-19853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27974-27981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9780-9784
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1398-1408
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4036-4044
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3441-3452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3231-3238
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 3011-3019
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 1061-1081
No TPTP formula. May not be expressible in strict first order. Cars.kif 1042-1059
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1625-1637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14632-14644
No TPTP formula. May not be expressible in strict first order. Cars.kif 4261-4273
No TPTP formula. May not be expressible in strict first order. Cars.kif 4275-4288
No TPTP formula. May not be expressible in strict first order. Cars.kif 3130-3140
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 1305-1312

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 10255-10265
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24191-24203
No TPTP formula. May not be expressible in strict first order. Hotel.kif 480-496
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 1298-1309
No TPTP formula. May not be expressible in strict first order. Hotel.kif 784-805
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 4885-4899
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1073-1086
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1180-1188
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3955-3965
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6209-6217
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 4865-4873
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3231-3238
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 405-416
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 1713-1729
No TPTP formula. May not be expressible in strict first order. Cars.kif 2129-2141
No TPTP formula. May not be expressible in strict first order. Cars.kif 3867-3877
No TPTP formula. May not be expressible in strict first order. Cars.kif 3879-3895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10644-10652

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 3295-3301 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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