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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SentientAgent

Sigma KEE - SentientAgent
SentientAgent(有感知的主事)

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 有感知的主事施事体subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1576-1576 有认知的主事有感知的主事subclass
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 被拘留的时间到位 的 1 数量 是 有感知的主事instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 736-736 说语言 的 1 数量 是 有感知的主事instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18299-18306
No TPTP formula. May not be expressible in strict first order. Merge.kif 13461-13463

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18308-18314
No TPTP formula. May not be expressible in strict first order. Merge.kif 18278-18282
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21927-21932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21960-21975


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