Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Automobile
Automobile
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1949-1952
No TPTP formula. May not be expressible in strict first order. pictureList.kif 322-322
No TPTP formula. May not be expressible in strict first order. pictureList.kif 247-247
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 394-394
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 396-396
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 395-395
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 397-397
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1948-1948 Automobile est une sous-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 836-836 Automobile est une sous-classe de PhysicalSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1947-1947 Automobile est une sous-classe de SelfPoweredRoadVehicle

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1705-1705 industryProductType AutomobileManufacturing and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4951-4951 ChevroletAutomobile est une sous-classe de Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4490-4490 CommodoreAutomobile est une sous-classe de Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 5103-5103 Corvette est une sous-classe de Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4894-4894 FordAutomobile est une sous-classe de Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4848-4848 HoldenToranaAutomobile est une sous-classe de Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4836-4836 MiniCooper est une sous-classe de Automobile
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1962-1962 Taxicab est une sous-classe de Automobile
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9198-9198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9197-9197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9196-9196
No TPTP formula. May not be expressible in strict first order. Cars.kif 727-727 typicalPart AutoSuspensionSystem and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 868-868 typicalPart AutomobileShock and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 1237-1237 typicalPart BrakeSystem and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3125-3125 typicalPart IgnitionCoil and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3952-3952 typicalPart SteeringBox and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3969-3969 typicalPart SteeringColumn and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3974-3974 typicalPart SteeringWheel and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 4121-4121 typicalPart TieRod and Automobile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29461-29461 typicalPart VehicleDoor and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3615-3615 typicallyContainsPart AutoAirbag and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 726-726 typicallyContainsPart AutoSuspensionSystem and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 869-869 typicallyContainsPart AutomobileShock and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 1236-1236 typicallyContainsPart BrakeSystem and Automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3126-3126 typicallyContainsPart IgnitionCoil and Automobile

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. Cars.kif 2568-2586
No TPTP formula. May not be expressible in strict first order. Cars.kif 2550-2566
No TPTP formula. May not be expressible in strict first order. Cars.kif 853-866
No TPTP formula. May not be expressible in strict first order. Cars.kif 1821-1839
No TPTP formula. May not be expressible in strict first order. Cars.kif 1800-1819
No TPTP formula. May not be expressible in strict first order. Cars.kif 2125-2137
No TPTP formula. May not be expressible in strict first order. Cars.kif 2713-2727
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Cars.kif 1051-1068
No TPTP formula. May not be expressible in strict first order. Cars.kif 4031-4046
No TPTP formula. May not be expressible in strict first order. Cars.kif 1292-1307
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1958-1960
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1954-1956

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 9711-9720
No TPTP formula. May not be expressible in strict first order. Cars.kif 845-851
No TPTP formula. May not be expressible in strict first order. Cars.kif 2329-2363
No TPTP formula. May not be expressible in strict first order. Cars.kif 2308-2320
No TPTP formula. May not be expressible in strict first order. Cars.kif 2502-2515
No TPTP formula. May not be expressible in strict first order. Cars.kif 2735-2746
No TPTP formula. May not be expressible in strict first order. Cars.kif 2612-2628
No TPTP formula. May not be expressible in strict first order. Cars.kif 3271-3280
No TPTP formula. May not be expressible in strict first order. Cars.kif 2694-2711
No TPTP formula. May not be expressible in strict first order. Cars.kif 2523-2538
No TPTP formula. May not be expressible in strict first order. Cars.kif 3167-3178
No TPTP formula. May not be expressible in strict first order. Cars.kif 2673-2686
No TPTP formula. May not be expressible in strict first order. Cars.kif 4679-4690
No TPTP formula. May not be expressible in strict first order. Cars.kif 3803-3819
No TPTP formula. May not be expressible in strict first order. Cars.kif 5031-5042
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2035-2053
No TPTP formula. May not be expressible in strict first order. Cars.kif 4654-4665
No TPTP formula. May not be expressible in strict first order. Cars.kif 3617-3641
No TPTP formula. May not be expressible in strict first order. Cars.kif 3979-3997


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