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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfDuration
UnitOfDuration(unit of duration)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2431-2433
No TPTP formula. May not be expressible in strict first order. Merge.kif 6366-6369
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1122-1124
No TPTP formula. May not be expressible in strict first order. Merge.kif 6364-6364 Unit of duration is a subclass of non composite unit of measure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20632-20632 Century duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7108-7108 Day duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8868-8868 Decade duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7116-7116 Hour duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15051-15051 Millennium duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7124-7124 Minute duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7141-7141 Month duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 6733-6733 Second duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7132-7132 Week duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7159-7159 Year duration is an instance of unit of duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65649-65649 Year duration is an instance of unit of duration

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6425-6429
No TPTP formula. May not be expressible in strict first order. emotion.kif 2016-2029
No TPTP formula. May not be expressible in strict first order. emotion.kif 2102-2111
No TPTP formula. May not be expressible in strict first order. Catalog.kif 467-492
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1858-1876

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1044-1059


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