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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Crying

 Sigma KEE - locatedAtTime
locatedAtTime

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23303-23306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23299-23299 O argumento numero 1 de locatedAtTime e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23300-23300 O argumento numero 2 de locatedAtTime e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23301-23301 O argumento numero 3 de locatedAtTime e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23298-23298 locatedAtTime e' uma instancia de Predicado Ternario

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 23308-23310 locatedAtTime Objeto, Posicao Temporal and Objeto Objeto e' situado em Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Weather.kif 2537-2550
No TPTP formula. May not be expressible in strict first order. Weather.kif 2566-2580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22707-22711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23387-23391

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22707-22711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23387-23391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23312-23317
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