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. Merge.kif 2606-2609
No TPTP formula. May not be expressible in strict first order. Merge.kif 2601-2605
No TPTP formula. May not be expressible in strict first order. Merge.kif 2599-2599 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2600-2600 The number 2 argument of instrument is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2597-2597 instrument is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2598-2598 instrument is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2596-2596 instrument is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2651-2651 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2652-2652 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 94-94
No TPTP formula. May not be expressible in strict first order. french_format.kif 89-89
No TPTP formula. May not be expressible in strict first order. relations-it.txt 150-150
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 41-41
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 39-39
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 83-83
No TPTP formula. May not be expressible in strict first order. relations-de.txt 163-163
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 189-189
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 304-304
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 194-194 computer running is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21053-21053 conveyance is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1915-1915 eCommerceSite is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8470-8470 reagent is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 761-761 serviceInstrument is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 528-528 standard error device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 497-497 standard input device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 511-511 standard output device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 136-136 "工具" is the printable form of instrument in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5460-5460 "instrument" is the printable form of instrument in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 489-489 "«أدَاة مِن أجْل»" is the printable form of instrument in ar

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4712-4718
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9488-9498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9521-9531
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 3407-3414
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19383-19390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27494-27501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9769-9773
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4030-4038
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3434-3445
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3230-3237
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 3010-3018
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1378-1388
No TPTP formula. May not be expressible in strict first order. Cars.kif 1101-1121
No TPTP formula. May not be expressible in strict first order. Cars.kif 1082-1099
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1624-1636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14344-14356
No TPTP formula. May not be expressible in strict first order. Cars.kif 4292-4304
No TPTP formula. May not be expressible in strict first order. Cars.kif 4306-4319
No TPTP formula. May not be expressible in strict first order. Cars.kif 3167-3177
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 1435-1442

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-10253
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23706-23718
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
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 1294-1305
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
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 1618-1629
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1631-1643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4880-4894
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1074-1087
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1181-1189
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3949-3959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6199-6207
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 4860-4868
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3230-3237
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 590-598
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 1753-1769
No TPTP formula. May not be expressible in strict first order. Cars.kif 2169-2181
No TPTP formula. May not be expressible in strict first order. Cars.kif 3900-3910
No TPTP formula. May not be expressible in strict first order. Cars.kif 3912-3928
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10599-10607

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners