Building - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3586-3587
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15762-15763
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1678-1678
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2127-2127
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15761-15761	Immeuble est une sous-classe de artefact stationnaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15778-15778	Pi�ce est disjoint de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7319-7319	Auditorium est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15735-15735	Barn est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Sports.kif 648-648	BaseballDugout est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7043-7043	CommercialBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22389-22389	EntertainmentBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7090-7090	FarmBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22401-22401	GovernmentBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26491-26491	HighRise est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2934-2934	HomeGarage est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 132-132	HotelVilla est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8475-8475	LibraryBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7666-7666	MedicalClinicBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22476-22476	OfficeBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2935-2935	ParkingGarage est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22519-22519	PlaceOfWorship est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20921-20921	PoliceFacility est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7903-7903	ReligiousBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15825-15825	ResidentialBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22555-22555	RestaurantBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22481-22481	SchoolBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7078-7078	Store est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2919-2919	TerminalBuilding est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3076-3076	TollBooth est une sous-classe de immeuble
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1051-1051

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.

Hotel.kif 702-702

Le nombre 1 argument de numberOfFloors est une instance de immeuble

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26147-26159	WheelchairAccessible est un attribut de objet objet est une instance de immeuble objet est une instance de pi�ce l'argument entit� entit� entit� est une instance de d�palcement entit� est un instrument pour entit� entit� est une instance de Wheelchair eventLocated entit� and objet a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15096-15106	Objet est une instance de BuildingLevel objet est une instance de BuildingLevel objet est une instance de immeuble objet est une partie de objet objet est une partie de objet objet objet est une instance de Steps objet relie objet et objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15072-15084	Objet est une instance de Stairway objet est une partie de objet objet est une instance de immeuble objet a pour but entit� entit� entit� est une instance de BuildingLevel entit� est une instance de BuildingLevel entit� est une partie de objet entit� est une partie de objet objet relie entit� et entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6920-6926	PermanentResidence est une instance de SingleFamilyResidence le domicile de humain est PermanentResidence humain poss�de PermanentResidence PermanentResidence est une instance de immeuble PermanentResidence est une instance de CondominiumUnit
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	Agent cognitif poss�de objet agent cognitif est une instance de CommercialAgent objet est une instance de ParkingLot objet est une instance de immeuble agent cognitif est situ� � objet customer agent cognitif and AutonomousAgent AutonomousAgent est situ� � objet pendant position temporel processus est une instance de conduire entit� est un patient de processus processus est un agent de AutonomousAgent processus aboutit � objet agent cognitif autorise AutonomousAgent � ex�cut� des t�ches du type entit� est une instance de garder entit� aboutit � objet entit� est un patient de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15765-15775	Objet est une instance de immeuble organisme organisme est une instance de humain organisme vie � objet processus processus est un agent de organisme processus est situ� � objet

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5042-5050	Entit� est une instance de OutdoorClothing entit� porte entit� pendant position temporel entit� entit� est une instance de immeuble entit� est situ� � entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	Collection est une instance de organisation WarehousingAndStorage est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif entit� AutonomousAgent est une instance de vendre entit� est une instance de objet agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� entit� est une instance de interval temporel entit� est une instance de immeuble agent cognitif poss�de entit� entit� est situ� � entit� pendant entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6720-6726	StreetAddressFn artefact stationnaire, Roadway, ville and nation est AutonomousAgent objet objet est une instance de immeuble artefact stationnaire est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21182-21191	hasExpertise humain and Architecture processus entit� and entit� processus est une instance de d�veloppement de contenu processus est un agent de humain entit� est le resultat de processus entit� est une instance de Blueprint entit� d�finie entit� entit� est une instance de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15410-15419	Objet est une instance de Basement objet objet objet est une instance de BuildingLevel objet est une instance de immeuble objet est une partie de objet objet est une partie de objet objet est objet objet est Below � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20551-20558	Artefact stationnaire est une instance de BuildingUnit organisation objet objet est une instance de immeuble organisation est une instance de organisation artefact stationnaire est une partie de objet workLocation organisation and artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20791-20798	Processus est une instance de Carpentry objet objet objet est une instance de immeuble objet est une instance de Wood objet est une partie de objet objet est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15298-15305	Objet est une instance de Door objet objet est une partie de objet objet est une instance de immeuble objet est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15426-15439	Physique est une instance de Elevator physique a pour but entit� entit�, entit� and entit� entit� est une instance de transporter entit� a pour origine entit� entit� est une instance de BuildingLevel entit� aboutit � entit� entit� est une instance de BuildingLevel entit� est entit� entit� est une partie de entit� entit� est une partie de entit� entit� est une instance de immeuble
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15372-15377	Objet est une instance de Fireplace objet objet est une instance de immeuble objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15485-15490	Objet est une instance de Garage objet objet est une instance de immeuble objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	Physique est une instance de Hallway physique a pour but entit� entit�, entit� and entit� entit� est une instance de Translocation physique est le chemin le long duquel entit� se produit physique est situ� � entit� entit� est une instance de immeuble physique est entre entit� et entit� entit� est une instance de pi�ce entit� est une instance de pi�ce entit� est situ� � entit� entit� est situ� � entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9144-9149	Objet est une instance de Indoors objet objet est une instance de immeuble objet est Inside � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15398-15403	Objet est une instance de BuildingLevel objet objet est une instance de immeuble objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8498-8505	AutonomousAgent est une instance de ArtMuseum objet physique AutonomousAgent poss�de objet objet est une instance de immeuble physique est une instance de objet d'art physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9132-9138	Objet est une instance de Outdoors objet objet est une instance de immeuble objet est Inside � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15688-15695	Objet est une instance de IndustrialPlant objet est une instance de immeuble physique physique est une instance de immeuble physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15643-15648	Objet est une instance de Porch objet objet est une instance de immeuble objet est connect� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15345-15350	Objet en une partie est une instance de Roof objet en une partie objet en une partie est une instance de immeuble le dessus de objet en une partie est objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15784-15789	Objet est une instance de pi�ce objet objet est une instance de immeuble objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7912-7917	Objet est une instance de Steeple objet objet est une instance de immeuble objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15175-15183	Objet est une instance de Window objet objet est une partie de objet objet est une instance de immeuble objet est une instance de pi�ce objet est une instance de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15311-15318	Objet est une instance de Wall objet objet est une partie de objet objet est une instance de immeuble objet est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15289-15296	Objet est une instance de Doorway objet objet est une partie de objet objet est une instance de immeuble objet est une instance de pi�ce
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26009-26020	Objet en une partie est une instance de Courtyard objet en une partie objet en une partie est une instance de Roof le dessus de objet en une partie est objet en une partie objet objet est une instance de immeuble objet en une partie est Surrounded � objet

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: