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

Formal Language: 



KB Term:  Term intersection
English Word: 

  eventLocated

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 4123-4125
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 4120-4120 eventLocated and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 4121-4121 eventLocated and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4119-4119 子關係 eventLocated and eventPartlyLocated

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3326-3326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3325-3325
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. 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 1865-1870
No TPTP formula. May not be expressible in strict first order. Geography.kif 1872-1877
No TPTP formula. May not be expressible in strict first order. Weather.kif 892-898
No TPTP formula. May not be expressible in strict first order. Weather.kif 882-890
No TPTP formula. May not be expressible in strict first order. Weather.kif 943-949
No TPTP formula. May not be expressible in strict first order. Weather.kif 933-941
No TPTP formula. May not be expressible in strict first order. Weather.kif 917-925
No TPTP formula. May not be expressible in strict first order. Weather.kif 906-915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16766-16776
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 572-577
No TPTP formula. May not be expressible in strict first order. Weather.kif 2492-2505
No TPTP formula. May not be expressible in strict first order. Weather.kif 2471-2482
No TPTP formula. May not be expressible in strict first order. Weather.kif 2600-2608
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 1898-1917
No TPTP formula. May not be expressible in strict first order. Cars.kif 1868-1887
No TPTP formula. May not be expressible in strict first order. Cars.kif 1943-1965
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17585-17600
No TPTP formula. May not be expressible in strict first order. Weather.kif 1598-1608
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 16852-16861
No TPTP formula. May not be expressible in strict first order. Music.kif 392-400
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 26594-26602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26159-26171
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 3498-3506
No TPTP formula. May not be expressible in strict first order. Weather.kif 2471-2482
No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
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. MilitaryProcesses.kif 2573-2587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8154-8162
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 655-669
No TPTP formula. May not be expressible in strict first order. Weather.kif 1579-1592
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 5210-5222
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23506-23511
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. Geography.kif 2328-2338
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 1651-1672
No TPTP formula. May not be expressible in strict first order. Cars.kif 491-500

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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