Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SentientAgent
SentientAgent(Agente Sentiente)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1684-1688
No TPTP formula. May not be expressible in strict first order. Merge.kif 1568-1574
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 277-281
No TPTP formula. May not be expressible in strict first order. Merge.kif 1566-1566 Agente Sentiente e' uma sub-classe de AutonomousAgent

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1576-1576 Agente Cognitivo e' uma sub-classe de Agente Sentiente
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 849-849
No TPTP formula. May not be expressible in strict first order. english_format.kif 900-900
No TPTP formula. May not be expressible in strict first order. french_format.kif 525-525
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 56-56
No TPTP formula. May not be expressible in strict first order. terms-it.txt 59-59
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2210-2210
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 477-477
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 92-92
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 546-546
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 60-60

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Justice.kif 17-17 O argumento numero 1 de detainedAtTimeInPlace e' uma instancia de Agente Sentiente
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 736-736 O argumento numero 1 de speaksLanguage e' uma instancia de Agente Sentiente

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18321-18328
No TPTP formula. May not be expressible in strict first order. Merge.kif 13483-13485

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18330-18336
No TPTP formula. May not be expressible in strict first order. Merge.kif 18300-18304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21926-21931
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21959-21974


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