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 17489-17492
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 17488-17488 Law is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17487-17487 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 2407-2407 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 2405-2405 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 2402-2402 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 13835-13835 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 13814-13819

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13850-13857 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 875-879
No TPTP formula. May not be expressible in strict first order. Media.kif 995-1000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13826-13832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16227-16239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13862-13869
No TPTP formula. May not be expressible in strict first order. Government.kif 871-873


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