TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1550-1551
No TPTP formula. May not be expressible in strict first order.	Merge.kif 835-837
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 120-121
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 139-140
No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	Physique est compl�tement d�compos� en objet + processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 832-832	Physique est une sous-classe de entit�

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 816-816	Entit� est compl�tement d�compos� en physique + abstrait
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1304-1304	ContentBearingPhysical est une sous-classe de physique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 41-41	FinancialAsset est une sous-classe de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	Objet est une sous-classe de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6121-6121	PhysicalSystem est une sous-classe de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1622-1622	Processus est une sous-classe de physique
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 814-814
No TPTP formula. May not be expressible in strict first order.	english_format.kif 830-830
No TPTP formula. May not be expressible in strict first order.	french_format.kif 490-490
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 24-24
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 26-26
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2175-2175
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 442-442
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 27-27
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 511-511
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 27-27

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8468-8468	Le nombre 1 argument de WhenFn est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4222-4222	Le nombre 1 argument de WhereFn est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6112-6112	Le nombre 2 argument de abstractCounterpart est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7702-7702	Le nombre 1 argument de altitude est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7703-7703	Le nombre 2 argument de altitude est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24181-24181	Le nombre 1 argument de anniversary est une instance de physique
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2120-2120	Le nombre 3 argument de attitudeForObject est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8389-8389	Le nombre 1 argument de cooccur est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8390-8390	Le nombre 2 argument de cooccur est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3817-3817	Le nombre 1 argument de courseWRTCompassNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3818-3818	Le nombre 2 argument de courseWRTCompassNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3785-3785	Le nombre 1 argument de courseWRTMagneticNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3786-3786	Le nombre 2 argument de courseWRTMagneticNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3722-3722	Le nombre 1 argument de courseWRTTrueNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3723-3723	Le nombre 2 argument de courseWRTTrueNorth est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8544-8544	Le nombre 1 argument de date est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2555-2555	Le nombre 1 argument de dateDissolved est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 978-978	Le nombre 1 argument de dateEstablished est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7680-7680	Le nombre 1 argument de distance est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7681-7681	Le nombre 2 argument de distance est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Law.kif 178-178	Le nombre 2 argument de evidence est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5428-5428	Le nombre 1 argument de flows est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5429-5429	Le nombre 2 argument de flows est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3945-3945	Le nombre 1 argument de hasPurpose est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3961-3961	Le nombre 1 argument de hasPurposeForAgent est une instance de physique

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29963-29972	buys agent cognitif, AutonomousAgent and entit� entit� est une instance de physique processus processus est une instance de acheter entit� est un patient de processus processus est un agent de agent cognitif processus a pour origine AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7960-7967	Entit� physique and physique pendant position temporel physique est une instance de physique physique est une instance de physique physique existe pendant position temporel physique existe pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	Processus est une instance de acheter entit� est un patient de processus processus a pour origine agent cognitif publishedPrice entit�, mesure de devise, agent cognitif and PricingScheme unitPrice entit�, function de quantit�, agent cognitif and PricingScheme entit� est une sous-classe de physique entit� est une instance imm�diate de entit� validPaymentType PricingScheme and Payment l'argument PaymentMENT PaymentMENT est une instance de Payment PaymentMENT est un sous-processus de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1416-1425	Bidding est une instance de Bidding objet est une instance de physique mesure de devise est une instance de mesure de devise AutonomousAgent est une instance de AutonomousAgent objectOfBid Bidding and objet amountOfBid Bidding and mesure de devise Bidding est un agent de AutonomousAgent bidPrice objet, mesure de devise and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	Objet corpusculaire est une instance de ViewItemPage processus est une instance de WebListing processus est un composant de objet corpusculaire entit� est un patient de processus entit� est une instance de physique processus processus and processusCONTENT processus est une instance de d�clarer processus est un patient de processus processus inclut une r�f�rence � entit� processusCONTENT est le resultat de processus processusCONTENT est une partie de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8249-8256	Entit� est une instance de pr�dicat binaire entit� est une instance de relation spatial physique est une instance de physique physique est une instance de physique entit� physique and physique temps d'existence de physique recouvre temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12984-12997	Processus est une instance de Searching physique est un patient de processus physique est une instance de physique objet AutonomousAgent AutonomousAgent est une instance de agent cognitif processus est un agent de AutonomousAgent objet est une instance de objet physique est situ� � objet processus a le but AutonomousAgent conna�t physique est situ� � objet pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	offers AutonomousAgent and Catalog catalogItem entit� and Catalog entit� est une sous-classe de physique l'argument entit� entit� entit� est une instance de entit� entit� est une instance de vendre entit� est un agent de AutonomousAgent entit� est un patient de entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	publishedPrice entit�, mesure de devise, agent cognitif and PricingScheme unitPrice entit�, function de quantit�, agent cognitif and PricingScheme entit� est une sous-classe de physique entit� est une instance imm�diate de entit� validFor PricingScheme and AutonomousAgent entit� est une instance de AutonomousAgent l'argument entit� est une instance de acheter entit� est un agent de entit� entit� a pour origine agent cognitif entit� est un patient de entit� transactionAmount entit� and mesure de devise a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	publishedPrice entit�, mesure de devise, agent cognitif and PricingScheme unitPrice entit�, function de quantit�, agent cognitif and PricingScheme entit� est une sous-classe de physique entit� est une instance imm�diate de entit� validityPeriod PricingScheme and interval temporel l'argument entit� est une instance de vendre entit� est un agent de agent cognitif entit� est un patient de entit� transactionAmount entit� and mesure de devise a la force modale de Likely pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25580-25585	Physique a un attribute attribut de forme physique est une instance de physique attribut de forme est une instance de attribut de forme shape physique and attribut de forme
No TPTP formula. May not be expressible in strict first order.	Merge.kif 839-844	Physique est une instance de physique objet position temporel physique est situ� � objet physique existe pendant position temporel

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1066-1070	Attribut est un attribut de objet attribut est une instance de AmbienceAttribute objet est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26594-26602	Historical est un attribut de objet objet est une instance de ville objet objet est une instance de physique Historical est un attribut de objet eventLocated objet and objet
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Collection est une instance de collection physique physique est un membre de collection physique est une instance de financial transaction cha�ne sympbolique entit� le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BoughtItemsFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	Collection est une instance de collection physique physique est un membre de collection physique est une instance de WebListing le nombre d' instances dans entit� entit� and entit� la classe d�crite par entit� + le nombre d' instances dans collection est BidCountFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	Collection est une instance de collection physique physique est un membre de collection physique est une instance de WebListing cha�ne sympbolique entit�, entit� and cha�ne sympbolique le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BidCountFn collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2715-2719	Entit� est une instance de attitude d'objet entit� entit� and entit� entit� est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26586-26588	Historical est un attribut de objet objet est une instance de physique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	Processus est une instance de FinalValueFee WebListing financial transaction, AutonomousAgent, entit� and WebSite WebListing est une instance de WebListing financial transaction est une instance de vendre AutonomousAgent est une instance de AutonomousAgent entit� est une instance de physique WebListing est une instance de WebListing entit� est un patient de WebListing entit� est un patient de financial transaction financial transaction cause processus processus est un agent de AutonomousAgent hostedOn WebListing and WebSite AutonomousAgent poss�de WebSite eCommerceSite financial transaction and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15872-15877	Entit� est une instance de RepresentationalArtWork entit� entit� est une instance de physique entit� d�finie entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12970-12982	Processus est une instance de Searching AutonomousAgent physique and objet AutonomousAgent est une instance de agent cognitif processus est un agent de AutonomousAgent physique est une instance de physique physique est un patient de processus objet est une instance de objet physique est situ� � objet processus a le but AutonomousAgent conna�t physique est situ� � objet pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 943-948	Entit� est une instance de View entit� entit� est une instance de physique entit� d�finie entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	siteCatalog Database and WebSite objet collection and cha�ne sympbolique collection est une instance de collection objet est une partie de Database objet d�finie collection objet objet est un membre de collection objet est une instance de physique objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le patient

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: