TreeView Knowledge Base Browser - Legal

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	Legal e' uma instancia de Atributo Deontico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13846-13846	Legal e' um sub-atributo de Permission

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13841-13841	Illegal e' &o oposto de Legal
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	O argumento Formula tem a forca modal de Legal Formula o argumento Formula tem a forca modal de Law consistent Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	Processo e' uma instancia de Processo Intencional ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement Processo Processo, Processo1 and Processo2 Processo e' uma instancia de Offering Processo e' uma instancia de ReachingAgreement Processo inclui uma referencia a Agreement Processo inclui uma referencia a Agreement Processo e' um agente de Processo1 Processo e' um agente de Processo2 tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement a idade de Agente Cognitivo e' Numero Real2 YearDuration(s) Numero Real2 e' maior que Numero Real vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement Sober e' um atributo de Agente Cognitivo vale durante tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Processo e' situado em Area Geopolitica2 Area Geopolitica2 e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement a idade de Agente Cognitivo e' Entidade YearDuration(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Processo Legal e' um atributo de Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9318-9330	USNonPrescriptionDrug e' um atributo de Objeto o argumento Entidade Entidade e' uma instancia de Comprar objectTransferred Entidade and Objeto Entidade Entidade e' uma instancia de Prescription Entidade inclui uma referencia a Objeto tem a forca modal de Legal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 303-305	Objeto e' uma instancia de MarriageCertificate Legal e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14142-14147	Proposicao tem um atributo de Contract Formula Formula e' uma &sub-proposicao de Proposicao o argumento Formula tem a forca modal de Legal

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