Legal - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Legal

Legal(合法)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13847-13848
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11341-11341
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11342-11342
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11345-11345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11344-11344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11343-11343
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10095-10095
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13845-13845	合法是道义属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13846-13846	合法是允许的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13841-13841	非法是合法的相反
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33779-33779
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33778-33778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33777-33777

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13850-13857	公式的声明 has 合法的语气若且唯若不存在另一个公式这样那个另外公式的声明 has 法的语气和那个另外公式不是那个公式的 consistent
No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	如果过程是有意图过程的 instance 和内容承载物理是那个过程的 result 和那个内容承载物理是协议的 record 和合法是那个协议的 attribute，然后有存在另一个过程，第三过程,，，那个第三过程1， and 和那个第三过程2 这样那个另外过程是提供的 instance 和那个第三过程是 ReachingAgreement 的 instance 和那个另外过程提到那个协议和那个第三过程提到那个协议和那个第三过程1 是那个另外过程的 agent 和那个第三过程2 是那个第三过程的 agent 和那个另外过程出现的 time 比那个第三过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	如果协议是有认知的主事的 party 协议和过程是有意图过程的 instance 和那个过程是 located 在地缘政治区域和那个地缘政治区域是地缘政治区域的 instance 和 ageOfMajorityForProcess 实数年持续时间, 那个地缘政治区域 and 那个过程和内容承载物理是那个过程的 result 和那个内容承载物理是那个协议的 record 和合法是那个协议的 attribute，然后那个有认知的主事的 age 是那个实数2 年持续时间和那个实数2 是 greaterThan 那个实数在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	如果协议是有认知的主事的 party 协议和过程是有意图过程的 instance 和内容承载物理是那个过程的 result 和那个内容承载物理是那个协议的 record 和合法是那个协议的 attribute，然后清醒是那个有认知的主事的 attribute 在那个过程出现的 time holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	如果协议是有认知的主事的 party 协议和过程是有意图过程的 instance 和那个过程是 located 在地缘政治区域和那个地缘政治区域是国家的 instance 和那个过程是 located 在那个地缘政治区域2 和那个地缘政治区域2 是地缘政治区域的 instance 和 ageOfMajorityForProcess 实数年持续时间, 那个地缘政治区域 and 那个过程和内容承载物理是那个过程的 result 和那个内容承载物理是那个协议的 record 和那个有认知的主事的 age 是实体年持续时间和那个实体是 greaterThan 那个实数在那个过程出现的 time holdsDuring，然后合法是那个协议的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9318-9330	如果 USNonPrescriptionDrug 是客体的 attribute，然后有存在实体这样那个实体是购买的 instance 和 objectTransferred 那个实体 and 那个客体和不存在另一个实体这样那个另外实体是 Prescription 的 instance 和那个另外实体提到那个客体的声明 has 合法的语气
No TPTP formula. May not be expressible in strict first order.	Biography.kif 303-305	如果客体是 MarriageCertificate 的 instance，然后合法是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14142-14147	如果命题有合同的 attribute，然后对所有公式如果那个公式是那个命题的 subProposition，然后那个公式的声明 has 合法的语气

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