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 7991-7992
(documentation NegativeInfinity JapaneseLanguage "TimePoint は、他のすべての TimePoint の前にある。")	japanese_format.kif 1409-1410
(instance NegativeInfinity TimePoint)	Merge.kif 7989-7989	Negative infinity is an instance of time point

appearance as argument number 2

(termFormat ChineseLanguage NegativeInfinity "负无穷大")	domainEnglishFormat.kif 40101-40101
(termFormat ChineseTraditionalLanguage NegativeInfinity "負無窮大")	domainEnglishFormat.kif 40100-40100
(termFormat EnglishLanguage NegativeInfinity "negative infinity")	domainEnglishFormat.kif 40099-40099

antecedent

(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (before NegativeInfinity ?POINT))	Merge.kif 7994-7998	If a time point is an instance of time point and equal the time point and 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 8000-8005	If a time point is an instance of time point and equal the time point and 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 7994-7998	If a time point is an instance of time point and equal the time point and 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 8000-8005	If a time point is an instance of time point and equal the time point and 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 8625-8627	If a time interval is an instance of time interval, then equal before the time interval and 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