TreeView Knowledge Base Browser - AbortedFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AbortedFn

AbortedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2414-2415
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2411-2411	Le nombre 1 argument de AbortedFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2412-2412	Le nombre 2 argument de AbortedFn est une instance de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2410-2410	AbortedFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2413-2413	Le domaine de AbortedFn est une instance de processus

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20-20
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19-19
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18-18
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2713-2713
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2479-2479	AbortedLaunchFn est une sous-relation de AbortedFn
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2433-2433	AbortedMissionFn est une sous-relation de AbortedFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5076-5076
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5075-5075
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5074-5074

antecedent

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

MilitaryProcesses.kif 2417-2428

Physique est une instance de AbortedFn AutonomousAgent and processus
interval temporel AutonomousAgent desire processusR processusR est une instance de processus processusR est un agent de AutonomousAgent pendant interval temporel interval temporel arrive plus t�t que temps d'existence de physique

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