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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Attorney
Attorney(律師)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4860-4860
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4859-4859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20967-20967 律師 and 職業
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20968-20968 子屬性 律師 and Lawyer

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20977-20977 子屬性 司法部長 and 律師
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20984-20984 子屬性 公共辯護人 and 律師
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20989-20989 子屬性 檢察官 and 律師
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9000-9000
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8999-8999
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8998-8998

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


No TPTP formula. May not be expressible in strict first order. Law.kif 447-449
No TPTP formula. May not be expressible in strict first order. Law.kif 460-462


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