PastFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PastFn

PastFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2739-2740
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8482-8484
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1465-1466
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8479-8479	The number 1 argument of past is an instance of time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8476-8476	Past is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8478-8478	Past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8477-8477	Past is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8480-8480	The range of past is an instance of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 457-457
No TPTP formula. May not be expressible in strict first order.	english_format.kif 463-463
No TPTP formula. May not be expressible in strict first order.	french_format.kif 265-265
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 215-215
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2055-2055
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 217-217
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 271-271
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 598-598
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 253-253
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 286-286
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 292-292
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 407-407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44736-44736
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 458-458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44735-44735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44734-44734

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12715-12728	If a process is an instance of decoding and a content bearing physical is a patient of the process, then there exist an entity, another content bearing physical,, , a time position and a proposition such that the other content bearing physical contains information the proposition and the content bearing physical contains information the proposition and the time position is a part of before the time of existence of the process and the entity is an instance of encoding and the other content bearing physical is a patient of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22203-22214	If veteran is an attribute of an entity holds during a physical, then there exists a time position such that the time position is a part of before the time of existence of the physical and soldier is an attribute of the entity holds during the time position and soldier is an attribute of the entity doesn't hold during the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19348-19354	If surprise is an attribute of an entity holds during a time position, then there exist another time position and another entity such that the other time position is a part of before the time position and the entity expects the other entity will be true holds during the other time position and the other entity is false holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8673-8684	If drunk is an attribute of an entity holds during a time position, then there exists another time position such that the other time position is a part of before the time position and there exist another entity and a third entity such that the other entity is an instance of drinking and the third entity is a patient of the other entity and the third entity is an instance of alcoholic beverage and the entity is an agent of the other entity holds during the other time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8490-8492	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8504-8506	If a time position is an instance of time interval, then immediately before the time position finishes before the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8486-8488	If a time interval is an instance of time interval, then before the time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9408-9418	If a physical is an instance of scar, then there exist a time position, a process and an entity such that the time position is a part of before the time of existence of the physical and the entity is an instance of lesion holds during the time position and the process is an instance of organ or tissue process and the entity is a patient of the process and the physical is a result of the process

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