TreeView Knowledge Base Browser - SelfConnectedObject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1555-1556
No TPTP formula. May not be expressible in strict first order.	Merge.kif 864-865
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 126-127
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 146-147
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	Objet en une partie est une sous-classe de objet

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1262-1262	Collection est disjoint de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 899-899	Le domaine de BackFn est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 879-879	Le domaine de FrontFn est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14859-14859	Les valeurs retourn�es par FoodForFn sont des sous-classes de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4492-4492	BodyOfWater est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1226-1226	Objet corpusculaire est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14874-14874	Nourriture est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4723-4723	Iceberg est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 867-867	OrganicThing est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2361-2361	Ramp est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2574-2574	ShipContainer est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1041-1041	Substance est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14266	Transitway est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 816-816
No TPTP formula. May not be expressible in strict first order.	english_format.kif 834-834
No TPTP formula. May not be expressible in strict first order.	french_format.kif 492-492
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 25-25
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 28-28
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2177-2177
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 444-444
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 29-29
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 513-513
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 29-29

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 898-898	Le nombre 1 argument de BackFn est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 878-878	Le nombre 1 argument de FrontFn est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17941-17941	Le nombre 1 argument de approximateDiameter est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9709-9709	Le nombre 1 argument de bottom est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9710-9710	Le nombre 2 argument de bottom est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6681-6681	Le nombre 1 argument de capacity est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1019-1019	Le nombre 1 argument de contains est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7550-7550	Le nombre 1 argument de height est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 995-995	Le nombre 2 argument de hole est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22699-22699	Le nombre 1 argument de memberAtTime est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17401-17401	Le nombre 1 argument de onboard est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9739-9739	Le nombre 1 argument de side est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9740-9740	Le nombre 2 argument de side est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9677-9677	Le nombre 1 argument de surface est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9678-9678	Le nombre 2 argument de surface est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9724-9724	Le nombre 1 argument de top est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9725-9725	Le nombre 2 argument de top est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7284-7284	Le nombre 1 argument de weight est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Food.kif 1656-1656	Le nombre 1 argument de ingredientAmount est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Food.kif 1657-1657	Le nombre 2 argument de ingredientAmount est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2605-2605	Le nombre 2 argument de trafficableForTrafficType est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3036-3036	Le nombre 2 argument de transitwayCapacityCount est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3046-3046	Le nombre 2 argument de transitwayCapacityRate est une sous-classe de objet en une partie

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9515-9519	Objet est une instance de objet en une partie objet est union des parties de objet et objet objet est connect� � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1987-1999	Entit� est une instance de objet en une partie processus est une instance de Compressing entit� est un patient de processus la mesure de entit� est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus entit� est une instance de UnitOfVolume la mesure de entit� est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	maximumPayloadCapacity Vehicle and nombre r�el unit� de mesure(s) maximumPayloadHeightWidth Vehicle, nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) objet en une partie est une instance de objet en une partie weight objet en une partie and nombre r�el nombre r�elU(s) la largeur de objet en une partie est nombre r�el nombre r�elU(s) la hauteur de objet en une partie est nombre r�el nombre r�elU(s) nombre r�elU est unit� de mesure nombre r�elU est unit� de mesure nombre r�elU est unit� de mesure nombre r�el est plus petit ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el Vehicle est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4638-4652	meceCollection collection and collection collection est une instance de collection collection est une instance de collection physique est une instance de objet en une partie physique est un membre de collection collection est un membre de collection collection est un membre de collection collection est collection ~{ physique est un membre de collection } ~{ physique est un membre de collection }
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	meceCollection collection and collection physique est un membre de collection physique est une instance de objet en une partie collection collection est une instance de collection physique est un membre de collection collection est un membre de collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	meceCollection collection and collection physique est un membre de collection physique est une instance de objet en une partie physique est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 910-912	Objet en une partie est une instance de objet en une partie le cot� de objet en une partie est le derri�re de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 891-893	Objet en une partie est une instance de objet en une partie le cot� de objet en une partie est le devant de objet en une partie

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9521-9525	Objet est union des parties de objet et objet objet est connect� � objet objet est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	PartialVacuum est un attribut de objet objet objet, nombre r�el, nombre r�el and unit� de mesure objet est une instance de objet en une partie objet est une instance de r�gion objet est objet objet est connect� � objet objet est connect� � objet la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfAtmosphericPressure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	Pressurized est un attribut de objet objet objet, nombre r�el, nombre r�el and unit� de mesure objet est une instance de objet en une partie objet est une instance de r�gion objet est objet objet est connect� � objet objet est connect� � objet la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfAtmosphericPressure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12475-12480	Processus est une instance de combiner entit� entit� est une instance de objet en une partie entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14477-14483	Objet est une instance de Label objet objet est une instance de objet en une partie objet est connect� � objet objet inclut une r�f�rence � objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12491-12496	Processus est une instance de separer entit� entit� est une instance de objet en une partie entit� est un patient de processus

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: