TreeView Knowledge Base Browser - MinuteFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MinuteFn

MinuteFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2769-2774
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8665-8672
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1499-1504
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8661-8661	The number 1 argument of minute is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8662-8662	The number 2 argument of minute is a subclass of hour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8659-8659	Minute is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8660-8660	Minute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8658-8658	Minute is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8663-8663	The values returned by minute are subclasses of minute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 473-473
No TPTP formula. May not be expressible in strict first order.	english_format.kif 479-479
No TPTP formula. May not be expressible in strict first order.	french_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 191-191
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2063-2063
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 225-225
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 279-279
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 616-616
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 229-229
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 294-294
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 300-300
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 368-368
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9373-9373	Minute is internally related to minute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37955-37955
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 474-474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37954-37954
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37953-37953
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 369-369

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8678-8683	If a time interval is an instance of the minute a nonnegative integer and another time interval is an instance of the minute another nonnegative integer and (the other nonnegative integer and the nonnegative integer) is equal to 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8674-8676	If an entity is an instance of the minute a nonnegative integer, then the nonnegative integer is less than 60

statement

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 2143-2143

Unix epoch is equal to the second 0

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