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

Formal Language: 



KB Term:  Term intersection
English Word: 

  observedAtTimeInPlace

 Sigma KEE - observedAtTimeInPlace
observedAtTimeInPlace

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


No TPTP formula. May not be expressible in strict first order. Justice.kif 36-45
No TPTP formula. May not be expressible in strict first order. Justice.kif 31-31 域 在適當的時候觀察, 1 and Object
No TPTP formula. May not be expressible in strict first order. Justice.kif 32-32 域 在適當的時候觀察, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Justice.kif 33-33 域 在適當的時候觀察, 3 and TimePosition
No TPTP formula. May not be expressible in strict first order. Justice.kif 34-34 域 在適當的時候觀察, 4 and Object
No TPTP formula. May not be expressible in strict first order. Justice.kif 30-30 例 在適當的時候觀察 and QuaternaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1819-1819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1818-1818
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1817-1817
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41566-41566
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41565-41565
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41564-41564

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


No TPTP formula. May not be expressible in strict first order. Justice.kif 51-59
No TPTP formula. May not be expressible in strict first order. Justice.kif 47-49
No TPTP formula. May not be expressible in strict first order. Justice.kif 75-77
No TPTP formula. May not be expressible in strict first order. Justice.kif 71-73

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