TreeView Knowledge Base Browser - managedBy

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - managedBy

managedBy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 639-641
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 645-645	O argumento numero 1 de managedBy e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 646-646	O argumento numero 2 de managedBy e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 637-637	managedBy e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3810-3810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3809-3809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3808-3808
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 643-643

antecedent

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

Hotel.kif 648-655

managedBy Objeto and AutonomousAgent
AutonomousAgent2 Processo AutonomousAgent2 possui Objeto Processo e' uma instancia de Administrar Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1319-1325	brandIcon Brand and Icone AutonomousAgent managedBy Brand and AutonomousAgent managedBy Icone and AutonomousAgent Icone define Brand
No TPTP formula. May not be expressible in strict first order.	Music.kif 1066-1068	contestOrganizer Contest and Agente Cognitivo managedBy Contest and Agente Cognitivo

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3307-3307	managedBy IBookstore and AppleComputerCorporation
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3359-3359	managedBy ICloud and AppleComputerCorporation

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