Damaging - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12293-12293	Endommager est disjoint de r�parer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3153-3154
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12294-12296
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12292-12292	Endommager est une sous-classe de changement interne

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12520-12520	Breaking est une sous-classe de endommager
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12298-12298	Destruction est une sous-classe de endommager
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2715-2715	ForestDamage est une sous-classe de endommager
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10449-10449	Blesser est une sous-classe de endommager
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 220-220	Sabotage est une sous-classe de endommager
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1160-1160
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1537-1537
No TPTP formula. May not be expressible in strict first order.	french_format.kif 838-838
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 370-370
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 373-373
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2522-2522
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 790-790
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 375-375
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 409-409
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 859-859
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 374-374

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30067-30075	Processus est une instance de endommager entit� est une instance de appareil entit� est un patient de processus DeviceDamaged est un attribut de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	Processus est une instance de endommager processus est un agent de AutonomousAgent processus aboutit � agent cognitif agent cognitif est une instance de agent cognitif agent cognitif croit Dangerous est un attribut de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	Processus est une instance de endommager objet est un instrument pour processus objet est une instance de substance biologique active objet est une instance de Toxin
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10471-10476	Processus est une instance de endommager entit� est une instance de organisme entit� est un patient de processus processus est une instance de blesser
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	weaponCarryingCapability MilitaryVehicle, arme and nombre entier positif objet est une instance de arme objet est capable de faire processus dans le r�le r�le d�pendant du cas processus est une sous-classe de tirer processus est une sous-classe de endommager MilitaryVehicle est capable de faire processus dans le r�le r�le d�pendant du cas

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30284-30298	Processus est ex�cut� de la fa�on Harmless processus est une instance de endommager processus2 processus2 est une instance de endommager processus2 est un sous-processus de processus processus2 processus2 est une instance de endommager processus cause processus2
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	Objet est une instance de Armor objet est une partie de objet objet rencontre objet objet a pour but entit� entit� est une instance de endommager objet est un instrument pour entit� objet exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13431-13440	Processus est une instance de Attack processus est un agent de AutonomousAgent entit� est un patient de processus processus a le but entit� entit� est une instance de endommager entit� est un patient de entit� pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	Processus est une instance de Bleeding AutonomousAgent exp�rimente processus objet processus objet est une instance de Vein objet est une instance de Artery objet est une partie de AutonomousAgent processus est une instance de endommager temps d'existence de processus arrive plus t�t que temps d'existence de processus objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13453-13462	Processus est une instance de DefensiveManeuver processus est un agent de AutonomousAgent processus a le but entit� entit� est une instance de endommager AutonomousAgent est un patient de entit� pour AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	Processus est une instance de PreciseDestruction entit� est un patient de processus processus a pour but entit� entit� entit� est une instance de endommager entit� est un sous-processus de processus entit� est un patient de entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	Appareil est une instance de Gun unit� de mesure est une instance de UnitOfLength effectiveRange appareil and nombre r�el unit� de mesure(s) la distance entre appareil et objet est nombre r�el1 unit� de mesure(s) objet2 objet2 est entre objet et appareil nombre r�el1 est plus petit ou �gal � nombre r�el cha�ne sympbolique appareil 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.	Mid-level-ontology.kif 8599-8609	Objet est une instance de Poison d�palcement est une instance de ing�rer moves d�palcement and objet AutonomousAgent exp�rimente d�palcement processus processus est une instance de endommager AutonomousAgent exp�rimente processus d�palcement cause processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12251-12259	Processus est une instance de r�parer entit� est un patient de processus processus processus est une instance de endommager entit� est un patient de processus temps d'existence de processus arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11004-11014	Processus est une instance de Sunburn AutonomousAgent exp�rimente processus processus processusKIN processus est une instance de endommager Sol est un instrument pour processus processusKIN est une instance de Skin processusKIN est une partie de AutonomousAgent processusKIN est un patient de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	Objet est une instance de HighPrecisionWeapon objet est un instrument pour processus entit� est un patient de processus objet a pour but entit� entit� entit� est une instance de endommager entit� est un sous-processus de processus entit� est un patient de entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	Objet est une instance de CarAlarm objet est une instance de SelfPoweredRoadVehicle objet est une partie de objet entit� entit�, entit� and entit� objet a pour but entit� est une instance de Stealing entit� est une instance de endommager entit� est une instance de humain entit� est un agent de entit� objet est un patient de entit� temps d'existence de entit� est entit� eventPartlyLocated entit� and entit� entit� entit� est une instance de son irradiant entit� est un agent de objet entit� cause entit� entit� a pour but entit� entit� est une instance de humain entit� est Near � entit� pendant entit� augmente la probabilit� de entit� conna�t entit� entit� est une instance de Stealing entit� est une instance de endommager eventPartlyLocated entit� and entit� objet est un patient de entit� pendant entit� temps d'existence de entit� finit temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29433-29444	DeviceDamaged est un attribut de objet objetAM objetAM est une instance de endommager objet est un patient de objetAM processus processus est une instance de r�parer objet est un patient de processus temps d'existence de objetAM arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29405-29417	DeviceNormal est un attribut de objet objetAM objetAM est une instance de endommager objet est un patient de objetAM processus processus est une instance de r�parer objet est un patient de processus temps d'existence de objetAM arrive plus t�t que temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5876-5885	hazardous physique and objet l'argument entit� entit� est une instance de endommager objet est un patient de entit� involvedInEvent entit� and physique physique cause entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3821-3829	Antivaxxer est un attribut de agent cognitif pendant position temporel agent cognitif croit entit� entit� entit� est une instance de Vaccination entit� est une instance de endommager entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30182-30190	Undamaged est un attribut de entit� pendant interval temporel processus processus est une instance de endommager entit� est un patient de processus temps d'existence de processus arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	WMD.kif 483-490	Physique est une instance de BlisterAgent physique a pour but entit� entit� entit� est une instance de endommager entit� est une instance de tissu entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	Physique est une instance de BiochemicalAttack physique a pour but entit� entit� entit� est une instance de endommager entit� est un patient de entit� physique cause entit� entit� est une instance de organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17845-17853	Physique est une instance de ExplosiveDevice physique a pour but entit� entit� entit� est une instance de Explosion physique est un instrument pour entit� entit� cause entit� entit� est une instance de endommager
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15842-15844	Objet est une instance de Explosion objet est capable de faire endommager dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10462-10469	Processus est une instance de blesser processus est une instance de endommager entit� entit� est une instance de organisme entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 976-990	Physique est une instance de AirAttackMissile physique a pour but entit� entit� and entit� physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de endommager entit� est une instance de AtmosphericRegion physique est situ� � entit� entit� est situ� � entit� pendant le d�but de temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1108-1121	Physique est une instance de BeamRidingGMissile physique a pour but entit� entit�, entit� and entit� entit� est une instance de endommager physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de irradier entit� est un instrument pour entit� entit� est une instance de Radar entit� est une instance de LightFixture entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	Physique est une instance de GroundAttackMissile physique a pour but entit� entit� and entit� physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de endommager entit� est une instance de secteur g�ographique physique est situ� � entit� entit� est situ� � entit� pendant le d�but de temps d'existence de entit�

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: