Sigma KB Term Intersection

(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?PROP ?CATALOG) (subclass ?PROP Proposition)) (modalAttribute (exists (?P ?S ?X) (and (instance ?P ?PROP) (realization ?X ?P) (instance ?S Selling) (patient ?S ?X) (agent ?S ?AGENT))) Possibility))	Catalog.kif 64-76	Wenn offers AutonomousAgent and Catalog und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Proposition, dann die Aussage es gibt entity, entity, and und entity um entity ist ein fall von Entity %n{nicht} und entity druekt den Inhalt von entity aus und entity ist ein fall von Selling %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist der agent von ** AutonomousAgent %n{nicht} hat die modale Kraft von Possibility
(subclass Proposition Abstract)	Merge.kif 3555-3555	Proposition ist eine teilkategorie von Abstract
(subclass TPFDD Proposition)	MilitaryProcesses.kif 1630-1630	TPFDD ist eine teilkategorie von Proposition
(subclass Music Proposition)	Mid-level-ontology.kif 13733-13733	Music ist eine teilkategorie von Proposition
(subclass LyricalContent Proposition)	Mid-level-ontology.kif 13786-13786	LyricalContent ist eine teilkategorie von Proposition
(subclass Agreement Proposition)	Mid-level-ontology.kif 13957-13957	Agreement ist eine teilkategorie von Proposition
(subclass ClassificationScheme Proposition)	Mid-level-ontology.kif 22773-22773	ClassificationScheme ist eine teilkategorie von Proposition
(subclass Policy Proposition)	Mid-level-ontology.kif 27185-27185	Policy ist eine teilkategorie von Proposition
(subclass Graph Proposition)	Merge.kif 5622-5622	Graph ist eine teilkategorie von Proposition
(subclass GraphElement Proposition)	Merge.kif 5819-5819	GraphElement ist eine teilkategorie von Proposition
(subclass FieldOfStudy Proposition)	Merge.kif 16769-16769	FieldOfStudy ist eine teilkategorie von Proposition
(subclass Procedure Proposition)	Merge.kif 16777-16777	Procedure ist eine teilkategorie von Proposition
(subclass Argument Proposition)	Merge.kif 16812-16812	Argument ist eine teilkategorie von Proposition
(subclass MealPlan Proposition)	Hotel.kif 1541-1541	MealPlan ist eine teilkategorie von Proposition
(subclass HotelPackage Proposition)	Hotel.kif 2725-2725	HotelPackage ist eine teilkategorie von Proposition
(subclass Constitution Proposition)	Government.kif 647-647	Constitution ist eine teilkategorie von Proposition
(subclass RegionalLaw Proposition)	Government.kif 863-863	RegionalLaw ist eine teilkategorie von Proposition
(subclass SuffrageLaw Proposition)	Government.kif 899-899	SuffrageLaw ist eine teilkategorie von Proposition
(subclass EconomicIndicator Proposition)	FinancialOntology.kif 1639-1639	EconomicIndicator ist eine teilkategorie von Proposition
(subclass BankStatement Proposition)	FinancialOntology.kif 3882-3882	BankStatement ist eine teilkategorie von Proposition
(subclass Model Proposition)	engineering.kif 69-69	Model ist eine teilkategorie von Proposition
(subclass Equation Proposition)	engineering.kif 150-150	Equation ist eine teilkategorie von Proposition
(subclass ScientificLaw Proposition)	engineering.kif 1240-1240	ScientificLaw ist eine teilkategorie von Proposition
(subclass MultipolePostulate Proposition)	engineering.kif 1266-1266	MultipolePostulate ist eine teilkategorie von Proposition
(subclass Catalog Proposition)	Catalog.kif 31-31	Catalog ist eine teilkategorie von Proposition
(subclass PricingScheme Proposition)	Catalog.kif 184-184	PricingScheme ist eine teilkategorie von Proposition

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