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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfPavedHighway

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 2474-2478
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 499-502
No TPTP formula. May not be expressible in strict first order. Merge.kif 2471-2471 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2472-2472 The number 2 argument of instrument is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2469-2469 instrument is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2470-2470 instrument is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2468-2468 instrument is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2514-2514 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2515-2515 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. 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. japanese_format.kif 1916-1916
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. 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-ro.kif 108-108
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 88-88
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 199-199 computer running is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23531-23531 conveyance is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1709-1709 e-commerce site is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8804-8804 reagent is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 531-531 standard error device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 500-500 standard input device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 514-514 standard output device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30259-30259
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 136-136

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. Mid-level-ontology.kif 10684-10695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10671-10682
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 4242-4248
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2763-2777
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11107-11117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11140-11150
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 3516-3523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22017-22024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29746-29753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11559-11563
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1422-1432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3498-3506
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3543-3554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2766-2773
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 2546-2554
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 1235-1247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17050-17062
No TPTP formula. May not be expressible in strict first order. Cars.kif 4295-4307
No TPTP formula. May not be expressible in strict first order. Cars.kif 4309-4322

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 10684-10695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10671-10682
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12536-12546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26147-26159
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. Anatomy.kif 1923-1939
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 4411-4425
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2200-2216
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1129-1142
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1239-1247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3416-3426
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6514-6522
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 4391-4399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2766-2773
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 420-431
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. Anatomy.kif 1636-1643

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. Mid-level-ontology.kif 18201-18218 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3309-3315 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 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