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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimeMeasure

 Sigma KEE - TimeMeasure
TimeMeasure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1779-1780
No TPTP formula. May not be expressible in strict first order. Merge.kif 2069-2071
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 391-393
No TPTP formula. May not be expressible in strict first order. Merge.kif 2067-2067 子類 TimeMeasure and ConstantQuantity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2073-2073 子類 TimeDuration and TimeMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 2078-2078 子類 TimePosition and TimeMeasure
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 877-877
No TPTP formula. May not be expressible in strict first order. english_format.kif 956-956
No TPTP formula. May not be expressible in strict first order. french_format.kif 553-553
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order. terms-it.txt 86-86
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2238-2238
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 505-505
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 88-88
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 120-120
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 574-574
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 87-87

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2886-2892


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