TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3895-3897
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17458-17460
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17455-17455	Le nombre 1 argument de confersRight est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17456-17456	Le nombre 2 argument de confersRight est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17457-17457	Le nombre 3 argument de confersRight est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17454-17454	confersRight est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	english_format.kif 204-204
No TPTP formula. May not be expressible in strict first order.	french_format.kif 121-121
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 51-51
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1950-1950
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 73-73
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 140-140
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 85-85
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17479-17479	confersObligation est reli� � l'int�rieur de SUMO � confersRight
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16590-16590
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16589-16589
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16588-16588
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 119-119

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 721-726	agreementEffectiveDate Agreement and point temporel Agreement autorise agent cognitif � ex�cut� des t�ches du type formule position temporel est une instance de point temporel agent cognitif a le droit d'executer formule pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17462-17464	Entit� autorise agent cognitif � ex�cut� des t�ches du type formule agent cognitif a le droit d'executer formule

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	Humain est un citoyen de nation UniversalSuffrageLaw est une sous-proposition de RegionalLawFn nation RegionalLawFn nation autorise humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de objet entit� est une instance de physique AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de agent cognitif agent cognitif exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and objet customer agent cognitif and AutonomousAgent entit� est une instance de objet agent cognitif desire entit� entit� est une instance de processus intentionnel entit� est un patient de entit� entit� est un agent de agent cognitif l'argument AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif utilise entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	guest humain and AutonomousAgent stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent TemporaryResidence est une instance de TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and physique physique est une sous-classe de objet physique physique est une instance de physique physique est situ� � TemporaryResidence AutonomousAgent autorise humain � ex�cut� des t�ches du type entit� entit� est un agent de humain physique est un instrument pour entit� physique est un patient de entit� physique est une resource pour entit�
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3188-3198	Objet est une instance de AOCnumber agent cognitif est une instance de Airline agent cognitif poss�de objet FederalAviationAdministration autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de AirTransportationService serviceProvider entit� and agent cognitif
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	Processus est une instance de ArmedReconnaissance processus est un agent de agent cognitif entit� est un patient de processus enemy agent cognitif and entit� pendant temps d'existence de processus processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de Attack entit� est un agent de agent cognitif entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16199-16211	Entit� est une instance de LegalAward entit� inclut une r�f�rence � processus processus est une instance de action l�gale processus est un agent de agent cognitif entit� autorise agent cognitif � ex�cut� des t�ches du type entit� entit� and entit� entit� est une instance de obtenir agent cognitif exp�rimente entit� entit� est un patient de entit� valeur de entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18620-18638	Processus est une instance de Inheriting processus est un agent de agent cognitif processus a pour origine AutonomousAgent entit� est un patient de processus processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de processus AutonomousAgent poss�de entit� pendant immediatement avant temps d'existence de processus AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	Collection est une instance de organisation AirTransportationIndustry est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre 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� agent cognitifLANE and entit� entit� est une instance de transporter agent cognitif est un patient de entit� agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de agent cognitifLANE agent cognitifLANE est une instance de Aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	Collection est une instance de organisation CouriersAndMessengers 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� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	Collection est une instance de organisation PipelineTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre 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� and agent cognitifIPE entit� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de substance collection poss�de entit� agent cognitifIPE est un instrument pour entit� agent cognitifIPE est une instance de Pipeline
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	Collection est une instance de organisation PostalService 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� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	Collection est une instance de organisation RailTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre 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� and entit� entit� est une instance de transporter agent cognitif est un patient de entit� agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de entit� entit� est une instance de RailVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	Collection est une instance de organisation ScenicAndSightseeingTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre 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 transporter entit� est une instance de r�cr�ation ou exercice agent cognitif est un patient de entit� collection poss�de entit� entit� est une instance de Vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	Collection est une instance de organisation TransitAndGroundPassengerTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre 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 transporter agent cognitif est un patient de entit� collection poss�de entit� entit� est une instance de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	Collection est une instance de organisation TruckTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre 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� and entit� entit� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de entit� entit� est une instance de LandVehicle
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.	naics.kif 8080-8105	Collection est une instance de organisation WaterTransportationIndustry est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre 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� and entit� entit� est une instance de transporter agent cognitif est un patient de entit� agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de entit� entit� est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18585-18593	Processus est une instance de Stealing processus aboutit � agent cognitif processus a pour origine objet objet est une instance de agent cognitif objet n' autorise %n{pas} agent cognitif � ex�cut� des t�ches du type processus aboutit � agent cognitif
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 482-498	Entit�_CTRL est une instance de TerminalAttackControl entit�_CTRL est un agent de AutonomousAgent entit�RGET est un patient de entit�_CTRL agent cognitif AutonomousAgent est agent cognitif entit�_CTRL autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de Attack entit� est un agent de agent cognitif entit�RGET est un patient de entit�
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.	Hotel.kif 2353-2372	ArtsAndRecreationTicketingServices est un attribut de objet objet a pour but entit� entit� and entit� entit� est une instance de vendre entit� est un patient de entit� entit� est un agent de objet entit� est une instance de Ticket entit� aboutit � entit� entit� a pour but objet autorise entit� � ex�cut� des t�ches du type entit� entit� entit� est une instance de voir entit� est un agent de entit� entit� est un patient de entit� entit� est une instance de Performance entit� est une instance de sport
No TPTP formula. May not be expressible in strict first order.	Law.kif 343-345	Entit� oblige agent cognitif � ex�cut� des t�ches du type formule entit� autorise agent cognitif � ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29856-29876	Entit� est une instance de Invoice cha�ne sympbolique agent cognitif, AutonomousAgent, entit� and entit� l' unique identifier de cha�ne sympbolique est entit� buys agent cognitif, AutonomousAgent and entit� AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de vendre entit� est une instance de produit objectTransferred entit� and entit� entit� inclut une r�f�rence � entit� entit� est un agent de AutonomousAgent agent cognitif est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22559-22573	Physique est une instance de RestaurantBuilding physique a pour but entit� entit�, entit�, entit� and entit�AY entit� emploie entit� entit� poss�de physique entit� est une instance de humain entit�AY est une instance de financial transaction entit�AY est un agent de entit� entit� est un patient de entit�AY entit� autorise entit� � ex�cut� des t�ches du type entit� entit� est une instance de manger entit� est un agent de entit� eventLocated entit� and physique

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: