TreeView Knowledge Base Browser - rewards

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - rewards

rewards

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 87-95
No TPTP formula. May not be expressible in strict first order.	Law.kif 81-81	域 rewards, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 82-82	域 rewards, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 80-80	例 rewards and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Law.kif 85-85
No TPTP formula. May not be expressible in strict first order.	Law.kif 83-83	相關的內部概念 punishes and rewards
No TPTP formula. May not be expressible in strict first order.	Law.kif 84-84

antecedent

No TPTP formula. May not be expressible in strict first order.	Law.kif 111-114	rewards Human and AutonomousAgent Organization Position 佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 116-122	rewards Human and AutonomousAgent Organization Position and Process 佔據位置 Human, Position and Organization agent Process and Human 想要 Organization and Process
No TPTP formula. May not be expressible in strict first order.	Law.kif 97-102	rewards AutonomousAgent and AutonomousAgent Process agent Process and AutonomousAgent 好處 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 104-109	rewards CognitiveAgent and AutonomousAgent Process agent Process and AutonomousAgent 想要 CognitiveAgent and Process

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