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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - eventLocated
eventLocated

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2115-2116
No TPTP formula. May not be expressible in strict first order. Merge.kif 4144-4146
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 767-769
No TPTP formula. May not be expressible in strict first order. Merge.kif 4139-4139 The number 1 argument of event located is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4140-4140 The number 2 argument of event located is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4141-4141 event located is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 4142-4142 event located is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4138-4138 event located is a subrelation of event partly located

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3324-3324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3323-3323
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3322-3322
No TPTP formula. May not be expressible in strict first order. english_format.kif 1845-1845

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Geography.kif 2023-2028
No TPTP formula. May not be expressible in strict first order. Geography.kif 2030-2035
No TPTP formula. May not be expressible in strict first order. Weather.kif 1127-1133
No TPTP formula. May not be expressible in strict first order. Weather.kif 1117-1125
No TPTP formula. May not be expressible in strict first order. Weather.kif 1178-1184
No TPTP formula. May not be expressible in strict first order. Weather.kif 1168-1176
No TPTP formula. May not be expressible in strict first order. Weather.kif 1152-1160
No TPTP formula. May not be expressible in strict first order. Weather.kif 1141-1150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18153-18163
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. Dining.kif 586-602
No TPTP formula. May not be expressible in strict first order. Weather.kif 556-561
No TPTP formula. May not be expressible in strict first order. Weather.kif 3216-3229
No TPTP formula. May not be expressible in strict first order. Weather.kif 3195-3206
No TPTP formula. May not be expressible in strict first order. Weather.kif 3324-3332
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348
No TPTP formula. May not be expressible in strict first order. Cars.kif 1882-1901
No TPTP formula. May not be expressible in strict first order. Cars.kif 1852-1871
No TPTP formula. May not be expressible in strict first order. Cars.kif 1927-1949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19136-19151
No TPTP formula. May not be expressible in strict first order. Weather.kif 2322-2332
No TPTP formula. May not be expressible in strict first order. Cars.kif 207-217

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 18239-18248
No TPTP formula. May not be expressible in strict first order. Music.kif 394-402
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. naics.kif 8120-8130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28493-28501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28057-28069
No TPTP formula. May not be expressible in strict first order. Dining.kif 840-847
No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3941-3949
No TPTP formula. May not be expressible in strict first order. Weather.kif 3195-3206
No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-2012
No TPTP formula. May not be expressible in strict first order. Cars.kif 1724-1740
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2607-2621
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9321-9329
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 661-675
No TPTP formula. May not be expressible in strict first order. Weather.kif 2303-2316
No TPTP formula. May not be expressible in strict first order. naics.kif 7752-7765
No TPTP formula. May not be expressible in strict first order. naics.kif 7877-7893
No TPTP formula. May not be expressible in strict first order. Economy.kif 5551-5563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25147-25152
No TPTP formula. May not be expressible in strict first order. Dining.kif 1227-1246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1362-1381
No TPTP formula. May not be expressible in strict first order. Geography.kif 2486-2496
No TPTP formula. May not be expressible in strict first order. naics.kif 11456-11468
No TPTP formula. May not be expressible in strict first order. Weather.kif 2375-2396

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 3.0 is open source software produced by Articulate Software and its partners