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

Formal Language: 



KB Term:  Term intersection
English Word: 

  locatedAtTime

 Sigma KEE - locatedAtTime
locatedAtTime

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23302-23305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23298-23298 位于时间 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23299-23299 位于时间 的 2 数量 是 时间位置 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23300-23300 位于时间 的 3 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23297-23297 位于时间 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1567-1567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1566-1566
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1565-1565
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34865-34865
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34864-34864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34863-34863

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23307-23309 客体 对于 另一个 客体 在时间 时间位置 located 若且唯若 那个 客体 是 located 在 那个 另外 客体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Weather.kif 2533-2546
No TPTP formula. May not be expressible in strict first order. Weather.kif 2562-2576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22706-22710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23386-23390

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22706-22710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23386-23390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23311-23316
No TPTP formula. May not be expressible in strict first order. Dining.kif 492-505
No TPTP formula. May not be expressible in strict first order. Justice.kif 47-49


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