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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 时间单位恒量subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2073-2073 持续时间时间单位subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 2078-2078 时间位置时间单位subclass
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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