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	O argumento numero 1 de AbortedFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2412-2412	O argumento numero 2 de AbortedFn e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2410-2410	AbortedFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2413-2413	O contra-dominio de AbortedFn e' uma instancia de Processo

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 e' uma sub-relacao de AbortedFn
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2433-2433	AbortedMissionFn e' uma sub-relacao 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

Fisico e' uma instancia de AbortedFn AutonomousAgent and Processo
Intervalo Temporal AutonomousAgent deseja ProcessoR ProcessoR e' uma instancia de Processo ProcessoR e' um agente de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal acontence antes de tempo de existencia de Fisico

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