Law - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Law

Law(law)

FISA, Foreign_Intelligence_Surveillance_Act, Islamic_law, Justinian_code, Law_of_Moses, Monroe_Doctrine, Mosaic_law, New_Deal, RICO, RICO_Act, Racketeer_Influenced_and_Corrupt_Organizations_Act, Riot_Act, Roman_law, Salic_law, Stamp_Act, Truman_doctrine, U._S._Code, United_States_Code, Zionism, adjective, administrative_law, admiralty_law, advice_and_consent, affirmative_action, amended, anti-drug_law, anti-racketeering_law, antimonopoly, antitrust, antitrust_law, antitrust_legislation, apartheid, ban, banning-order, best_evidence_rule, blue_law, blue_sky_law, brinkmanship, building_code, bull, bylaw, canon_law, cease_and_desist_order, civil_law, commercial_law, consent_decree, constitution, control, criminal_law, curfew...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3909-3910
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17560-17563
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2591-2591
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2482-2482
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2592-2592
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2590-2590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17559-17559	Law is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17558-17558	Law is a subattribute of obligation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3170-3170	The statement ADA has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2371-2371	The statement antiterrorism and effective death penalty act has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2369-2369	The statement immigration and nationality act- section219-US has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2366-2366	The statement immigration and nationality act-US has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13862-13862	International law is a subattribute of law
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33539-33539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33538-33538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33537-33537

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 13841-13846

If the statement an entity has the modal force of law holds during a time interval,
then there exists another time interval such that legislative bill is an attribute of the entity holds during the other time interval and the other time interval happens earlier than the time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13877-13884	The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 839-843	If an object is an instance of regional law and a proposition is a sub-proposition of the object, then law is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	If a content bearing physical is an instance of contract document and the content bearing physical contains information a proposition and the proposition the attribute contract, then the proposition the attribute law
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13853-13859	If a process is an instance of passingA bill and an entity is a patient of the process, then legislative bill is an attribute of the entity holds during the beginning of the time of existence of the process and law is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16254-16266	If a process is an instance of legal summons and a content bearing physical is a patient of the process and the process ends up at an entity, then there exist another entity and a third entity such that the other entity is an instance of court room and the content bearing physical contains information the statement the entity is located at the other entity holds during the third entity has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13889-13896	If a process is an instance of criminal action, then there exist a formula, a proposition and another proposition such that the statement the formula has the modal force of law and the formula contains information the proposition and the process expresses the content of the other proposition and the other proposition is not a consistent of the proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 835-837	If an object is an instance of regional law, then law is an attribute of the object

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