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

Formal Language: 


KB Term:  Term intersection
English Word: 

  eventPartlyLocated

Sigma KEE - eventPartlyLocated
eventPartlyLocated

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2113-2114
No TPTP formula. May not be expressible in strict first order. Merge.kif 4118-4119
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 765-766
No TPTP formula. May not be expressible in strict first order. Merge.kif 4115-4115 The number 1 argument of event partly located is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4116-4116 The number 2 argument of event partly located is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4108-4108 event partly located is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 4109-4109 event partly located is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4136-4136 event partly located is a subrelation of involved in event

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3328-3328
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3327-3327
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. Merge.kif 4138-4138 event located is a subrelation of event partly located
No TPTP formula. May not be expressible in strict first order. Merge.kif 11212-11212 path is a subrelation of event partly located
No TPTP formula. May not be expressible in strict first order. english_format.kif 1843-1843 path is a subrelation of event partly located

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 477-483
No TPTP formula. May not be expressible in strict first order. Merge.kif 4121-4126
No TPTP formula. May not be expressible in strict first order. Merge.kif 4111-4113

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3771-3812
No TPTP formula. May not be expressible in strict first order. Weather.kif 115-123
No TPTP formula. May not be expressible in strict first order. Merge.kif 4132-4134
No TPTP formula. May not be expressible in strict first order. Merge.kif 4128-4130
No TPTP formula. May not be expressible in strict first order. Weather.kif 166-174


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