Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update Mid-level-ontology.kif #409

Merged
merged 1 commit into from
Jan 5, 2025
Merged

Update Mid-level-ontology.kif #409

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions Mid-level-ontology.kif
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18330,7 +18330,7 @@ moving one's belongs to a new &%home.")
(subclass Harvesting Removing)
(subclass Harvesting Killing)
(documentation Harvesting EnglishLanguage "Gathering the plants, animals or fish as results of &%Agriculture.
It inevitablely involves the dead of the &%OragnicObject being harvested as a result.")
It inevitablely involves the dead of the &%OrganicObject being harvested as a result.")

(=>
(instance ?H Harvesting)
Expand Down Expand Up @@ -22140,8 +22140,8 @@ a chemical agent is used as the active ingredient of the attack.")
(instance ?CHEM Substance)
(instrument ?X ?CHEM))))

(subclass HandgrenadeAttack Bombing)
(documentation HandgrenadeAttack EnglishLanguage "An attack in which a &%HandGrenade is
(subclass HandGrenadeAttack Bombing)
(documentation HandGrenadeAttack EnglishLanguage "An attack in which a &%HandGrenade is
employed as an explosive device for the purpose of &%Destruction.
A case in which a hand grenade is used as a blunt striking object in
an attack would not be in this class.")
Expand All @@ -22160,7 +22160,7 @@ to be propelled by a human to its target.")
(lessThan ?N 10.0))))

(=>
(instance ?X HandgrenadeAttack)
(instance ?X HandGrenadeAttack)
(exists (?HG)
(and
(instance ?HG HandGrenade)
Expand Down Expand Up @@ -32037,4 +32037,4 @@ first-order administrative divisons of ?COUNTRY are of the type ?TYPE.")
(and
(primaryGeopoliticalSubdivisionType ?AREA ?TYPE)
(primaryGeopoliticalSubdivision ?SUBAREA ?AREA))
(instance ?SUBAREA ?TYPE))
(instance ?SUBAREA ?TYPE))
Loading