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 2422-2426
No TPTP formula. May not be expressible in strict first order. Merge.kif 2419-2419 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2420-2420 The number 2 argument of instrument is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2417-2417 instrument is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2418-2418 instrument is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2416-2416 instrument is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2462-2462 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2463-2463 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 23064-23064 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 8454-8454 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. Mid-level-ontology.kif 10243-10254
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10230-10241
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4149-4155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10663-10673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10696-10706
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 3520-3527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21584-21591
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29262-29269
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11096-11100
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1390-1400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3459-3467
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3547-3558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2729-2736
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 2509-2517
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 1202-1214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16545-16557
No TPTP formula. May not be expressible in strict first order. Cars.kif 4290-4302
No TPTP formula. May not be expressible in strict first order. Cars.kif 4304-4317
No TPTP formula. May not be expressible in strict first order. Cars.kif 3155-3165

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 10243-10254
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10230-10241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12073-12083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25643-25655
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
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 1347-1358
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
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 4317-4331
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1128-1141
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1238-1246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3377-3387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6222-6230
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 4297-4305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2729-2736
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 1717-1733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10205-10215
No TPTP formula. May not be expressible in strict first order. Cars.kif 2142-2154

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 3275-3281 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