immediateInstance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - immediateInstance

immediateInstance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1363-1365
No TPTP formula. May not be expressible in strict first order.	Merge.kif 94-96
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 21-23
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 21-23
No TPTP formula. May not be expressible in strict first order.	Merge.kif 90-90	The number 1 argument of immediate instance is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 91-91	The number 2 argument of immediate instance is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 92-92	immediate instance is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 93-93	immediate instance is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 89-89	immediate instance is a subrelation of instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 301-301
No TPTP formula. May not be expressible in strict first order.	english_format.kif 306-306
No TPTP formula. May not be expressible in strict first order.	french_format.kif 173-173
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 138-138
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1993-1993
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 125-125
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 394-394
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 177-177
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 193-193
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 182-182
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 280-280
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 302-302
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29383-29383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29382-29382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29381-29381
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 124-124
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 281-281

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	If an object is an immediate instance of a class and a physical is an immediate instance of the class and oversized is an attribute of the object, then there exist the objectSIZE, the physicalSIZE and an unit of measure such that the unit of measure is an instance of unit of measure and the measure of the object is the objectSIZE the unit of measure(s) and the measure of the physical is the physicalSIZE the unit of measure(s) and the objectSIZE is greater than the physicalSIZE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26646-26661	If an object is an immediate instance of a class and another object is an immediate instance of the class and cold is an attribute of the object and hot is an attribute of the other object, then there exist a real number, another real number and an unit of measure such that the measure of the object is the real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the real number is an instance of temperature measure and the measure of the other object is the other real number the unit of measure(s) and the other real number is an instance of temperature measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid during a time interval, then the statement if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity, then the currency measure is a transaction amount of the third entity has the modal force of likely holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other real number is less than the real number, then the statement the real number is a transaction amount of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a real number is an unit of measure and the unit of measure is an instance of unit of duration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is the other real number the unit of measure(s) and the other real number is less than or equal to the real number, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 98-104	If an entity is an immediate instance of a class, then there doesn't exist another class such that the other class is a subclass of the class and the other class is not equal to the class and the entity is an instance of the other class

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	If the price negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent has the responsibility to make there exist an entity and another entity such that the entity is an instance of buying and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the other cognitive agent is an agent of the entity and the entity originates at the cognitive agent and the currency measure is a transaction amount of the entity obligation in the agreement
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 276-289	If the price negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of selling and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent and the currency measure is a transaction amount of the entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15872-15880	If a collection is an instance of industry, then there exist a physical, another physical and a class such that the physical is a member of the collection and the other physical is a member of the collection and the class is a subclass of corporation and the physical is an immediate instance of the class and the other physical is an immediate instance of the class
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 419-428	If a cognitive agent sells a kind of entity for a currency measure, then the statement if another entity is an instance of selling and a third entity is an immediate instance of a kind of entity and the third entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the currency measure is a transaction amount of the other entity has the modal force of likely

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