NegativeInfinity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NegativeInfinity

NegativeInfinity(negative infinity)

appearance as argument number 1

(documentation NegativeInfinity ChineseLanguage "这是所有其他 TimePoint 之前的 TimePoint。")	chinese_format.kif 2686-2687
(documentation NegativeInfinity EnglishLanguage "The TimePoint that is before all other TimePoints.")	Merge.kif 7920-7921
(documentation NegativeInfinity JapaneseLanguage "TimePoint は、他のすべての TimePoint の前にある。")	japanese_format.kif 1409-1410
(instance NegativeInfinity TimePoint)	Merge.kif 7918-7918	Negative infinity is an instance of time point

appearance as argument number 2

(termFormat ChineseLanguage NegativeInfinity "负无穷大")	domainEnglishFormat.kif 40127-40127
(termFormat ChineseTraditionalLanguage NegativeInfinity "負無窮大")	domainEnglishFormat.kif 40126-40126
(termFormat EnglishLanguage NegativeInfinity "negative infinity")	domainEnglishFormat.kif 40125-40125

antecedent

(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (before NegativeInfinity ?POINT))	Merge.kif 7923-7927	If a time point is an instance of time point and the time point is not equal to negative infinity, then negative infinity happens before the time point
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (exists (?OTHERPOINT) (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))	Merge.kif 7929-7934	If a time point is an instance of time point and the time point is not equal to negative infinity, then there exists another time point such that the other time point is between negative infinity and the time point

consequent

(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (before NegativeInfinity ?POINT))	Merge.kif 7923-7927	If a time point is an instance of time point and the time point is not equal to negative infinity, then negative infinity happens before the time point
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (exists (?OTHERPOINT) (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))	Merge.kif 7929-7934	If a time point is an instance of time point and the time point is not equal to negative infinity, then there exists another time point such that the other time point is between negative infinity and the time point
(=> (instance ?INTERVAL TimeInterval) (equal (PastFn ?INTERVAL) (TimeIntervalFn NegativeInfinity (BeginFn ?INTERVAL))))	Merge.kif 8526-8528	If a time interval is an instance of time interval, then before the time interval is equal to interval between negative infinity and the beginning of the time interval

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